Disable ligatures inside the editor

marijnh · marijnh · commit 247c6342d560 · 2016-03-22T21:00:13.000+01:00
Closes codemirror#3899
diff --git a/lib/codemirror.css b/lib/codemirror.css
@@ -245,6 +245,8 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
   position: relative;
   overflow: visible;
   -webkit-tap-highlight-color: transparent;
+  -webkit-font-variant-ligatures: none;
+  font-variant-ligatures: none;
 }
 .CodeMirror-wrap pre {
   word-wrap: break-word;

Original file line number	Diff line number	Diff line change
`@@ -245,6 +245,8 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}`
`245`	`245`	`position: relative;`
`246`	`246`	`overflow: visible;`
`247`	`247`	`-webkit-tap-highlight-color: transparent;`
	`248`	`+ -webkit-font-variant-ligatures: none;`
	`249`	`+ font-variant-ligatures: none;`
`248`	`250`	`}`
`249`	`251`	`.CodeMirror-wrap pre {`
`250`	`252`	`word-wrap: break-word;`