annotate .cms/lib/codemirror/addon/edit/trailingspace.js @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 // Distributed under an MIT license: https://codemirror.net/5/LICENSE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 CodeMirror.defineOption("showTrailingSpace", false, function(cm, val, prev) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 if (prev == CodeMirror.Init) prev = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 if (prev && !val)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 cm.removeOverlay("trailingspace");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 else if (!prev && val)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 cm.addOverlay({
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 token: function(stream) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 for (var l = stream.string.length, i = l; i && /\s/.test(stream.string.charAt(i - 1)); --i) {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 if (i > stream.pos) { stream.pos = i; return null; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 stream.pos = l;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 return "trailingspace";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 name: "trailingspace"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 });