Turn off text selection in webkit

2026-01-23 13:58:08 -05:00 · 2012-02-03 13:46:03 -08:00
parent 97aa3b6e82
commit fecfc85f8f
1 changed files with 1 additions and 0 deletions
--- 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 {