Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | (function(mod) { |
michael@0 | 2 | if (typeof exports == "object" && typeof module == "object") // CommonJS |
michael@0 | 3 | mod(require("../../lib/codemirror")); |
michael@0 | 4 | else if (typeof define == "function" && define.amd) // AMD |
michael@0 | 5 | define(["../../lib/codemirror"], mod); |
michael@0 | 6 | else // Plain browser env |
michael@0 | 7 | mod(CodeMirror); |
michael@0 | 8 | })(function(CodeMirror) { |
michael@0 | 9 | CodeMirror.defineOption("showTrailingSpace", false, function(cm, val, prev) { |
michael@0 | 10 | if (prev == CodeMirror.Init) prev = false; |
michael@0 | 11 | if (prev && !val) |
michael@0 | 12 | cm.removeOverlay("trailingspace"); |
michael@0 | 13 | else if (!prev && val) |
michael@0 | 14 | cm.addOverlay({ |
michael@0 | 15 | token: function(stream) { |
michael@0 | 16 | for (var l = stream.string.length, i = l; i && /\s/.test(stream.string.charAt(i - 1)); --i) {} |
michael@0 | 17 | if (i > stream.pos) { stream.pos = i; return null; } |
michael@0 | 18 | stream.pos = l; |
michael@0 | 19 | return "trailingspace"; |
michael@0 | 20 | }, |
michael@0 | 21 | name: "trailingspace" |
michael@0 | 22 | }); |
michael@0 | 23 | }); |
michael@0 | 24 | }); |