annotate .cms/lib/codemirror/addon/fold/indent-fold.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 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 function lineIndent(cm, lineNo) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 var text = cm.getLine(lineNo)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 var spaceTo = text.search(/\S/)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 if (spaceTo == -1 || /\bcomment\b/.test(cm.getTokenTypeAt(CodeMirror.Pos(lineNo, spaceTo + 1))))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 return -1
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 return CodeMirror.countColumn(text, null, cm.getOption("tabSize"))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 CodeMirror.registerHelper("fold", "indent", function(cm, start) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 var myIndent = lineIndent(cm, start.line)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 if (myIndent < 0) return
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 var lastLineInFold = null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 // Go through lines until we find a line that definitely doesn't belong in
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 // the block we're folding, or to the end.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 for (var i = start.line + 1, end = cm.lastLine(); i <= end; ++i) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 var indent = lineIndent(cm, i)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 if (indent == -1) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 } else if (indent > myIndent) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 // Lines with a greater indent are considered part of the block.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 lastLineInFold = i;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 // If this line has non-space, non-comment content, and is
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 // indented less or equal to the start line, it is the start of
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 // another block.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 if (lastLineInFold) return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 from: CodeMirror.Pos(start.line, cm.getLine(start.line).length),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 to: CodeMirror.Pos(lastLineInFold, cm.getLine(lastLineInFold).length)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 });