X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;ds=sidebyside;f=third-party%2Fcodemirror-3.15%2Faddon%2Fedit%2Ftrailingspace.js;fp=third-party%2Fcodemirror-3.15%2Faddon%2Fedit%2Ftrailingspace.js;h=0000000000000000000000000000000000000000;hb=31540dd504798e0aca69e10d8144fbedc5b16af8;hp=f6bb02645dd4b333a52e7b4308e35da4c4af1924;hpb=937653fd70bbf7d95bcf870e7f2b46b4a8fec486;p=myslice.git

diff --git a/third-party/codemirror-3.15/addon/edit/trailingspace.js b/third-party/codemirror-3.15/addon/edit/trailingspace.js
deleted file mode 100644
index f6bb0264..00000000
--- a/third-party/codemirror-3.15/addon/edit/trailingspace.js
+++ /dev/null
@@ -1,15 +0,0 @@
-CodeMirror.defineOption("showTrailingSpace", false, function(cm, val, prev) {
-  if (prev == CodeMirror.Init) prev = false;
-  if (prev && !val)
-    cm.removeOverlay("trailingspace");
-  else if (!prev && val)
-    cm.addOverlay({
-      token: function(stream) {
-        for (var l = stream.string.length, i = l; i && /\s/.test(stream.string.charAt(i - 1)); --i) {}
-        if (i > stream.pos) { stream.pos = i; return null; }
-        stream.pos = l;
-        return "trailingspace";
-      },
-      name: "trailingspace"
-    });
-});