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

diff --git a/to-be-integrated/third-party/codemirror-3.15/addon/edit/trailingspace.js b/to-be-integrated/third-party/codemirror-3.15/addon/edit/trailingspace.js
new file mode 100644
index 00000000..f6bb0264
--- /dev/null
+++ b/to-be-integrated/third-party/codemirror-3.15/addon/edit/trailingspace.js
@@ -0,0 +1,15 @@
+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"
+    });
+});