From fecfc85f8f5b48129396f3c4e28fc142e3af6f72 Mon Sep 17 00:00:00 2001
From: Corey Johnson <cj@github.com>
Date: Fri, 3 Feb 2012 13:46:03 -0800
Subject: [PATCH] Turn off text selection in webkit

---
 static/editor.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/static/editor.css b/static/editor.css
index f838ef21b..fd2b68945 100644
--- a/static/editor.css
+++ b/static/editor.css
@@ -8,6 +8,7 @@
   overflow-y: scroll;
   overflow-x: auto;
   cursor: default;
+  -webkit-user-select: none;
 }
 
 .editor pre {