From 247c6342d560e90c61854ffd1b62adf98b2af7e3 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Tue, 22 Mar 2016 21:00:13 +0100
Subject: [PATCH] Disable ligatures inside the editor

Closes #3899
---
 lib/codemirror.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/codemirror.css b/lib/codemirror.css
index ebfe4f697..2d1a4d190 100644
--- 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;
-- 
GitLab