Changeset 3542:c4e56e611382 for admin/js/codemirror/lib/codemirror.css

Timestamp:

03/21/17 10:47:19 (8 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

default

Message:

Update Codemirror lib from 5.24.3 to 5.25.1

File:

• admin/js/codemirror/lib/codemirror.css (modified) (2 diffs)

admin/js/codemirror/lib/codemirror.css

@@ -224 +224 @@
   z-index: 4;
 }
-.CodeMirror-gutter-wrapper {
-  -webkit-user-select: none;
-  -moz-user-select: none;
-  user-select: none;
-}
+.CodeMirror-gutter-wrapper ::selection { background-color: transparent }
+.CodeMirror-gutter-wrapper ::-moz-selection { background-color: transparent }
 
 .CodeMirror-lines {
@@ -273 +270 @@
 .CodeMirror-widget {}
 
+.CodeMirror-rtl pre { direction: rtl; }
+
 .CodeMirror-code {
   outline: none;