annotate .cms/lib/codemirror/addon/search/matchesonscrollbar.js @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
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"), require("./searchcursor"), require("../scroll/annotatescrollbar"));
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", "./searchcursor", "../scroll/annotatescrollbar"], 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 CodeMirror.defineExtension("showMatchesOnScrollbar", function(query, caseFold, options) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 if (typeof options == "string") options = {className: options};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 if (!options) options = {};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 return new SearchAnnotation(this, query, caseFold, options);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 function SearchAnnotation(cm, query, caseFold, options) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 this.cm = cm;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 this.options = options;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 var annotateOptions = {listenForChanges: false};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 for (var prop in options) annotateOptions[prop] = options[prop];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 if (!annotateOptions.className) annotateOptions.className = "CodeMirror-search-match";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 this.annotation = cm.annotateScrollbar(annotateOptions);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 this.query = query;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 this.caseFold = caseFold;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 this.gap = {from: cm.firstLine(), to: cm.lastLine() + 1};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 this.matches = [];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 this.update = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 this.findMatches();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 this.annotation.update(this.matches);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 var self = this;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 cm.on("change", this.changeHandler = function(_cm, change) { self.onChange(change); });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 var MAX_MATCHES = 1000;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 SearchAnnotation.prototype.findMatches = function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 if (!this.gap) return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 for (var i = 0; i < this.matches.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 var match = this.matches[i];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 if (match.from.line >= this.gap.to) break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 if (match.to.line >= this.gap.from) this.matches.splice(i--, 1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 var cursor = this.cm.getSearchCursor(this.query, CodeMirror.Pos(this.gap.from, 0), {caseFold: this.caseFold, multiline: this.options.multiline});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 var maxMatches = this.options && this.options.maxMatches || MAX_MATCHES;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 while (cursor.findNext()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 var match = {from: cursor.from(), to: cursor.to()};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 if (match.from.line >= this.gap.to) break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 this.matches.splice(i++, 0, match);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 if (this.matches.length > maxMatches) break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 this.gap = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 function offsetLine(line, changeStart, sizeChange) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (line <= changeStart) return line;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 return Math.max(changeStart, line + sizeChange);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 SearchAnnotation.prototype.onChange = function(change) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 var startLine = change.from.line;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 var endLine = CodeMirror.changeEnd(change).line;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 var sizeChange = endLine - change.to.line;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 if (this.gap) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 this.gap.from = Math.min(offsetLine(this.gap.from, startLine, sizeChange), change.from.line);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 this.gap.to = Math.max(offsetLine(this.gap.to, startLine, sizeChange), change.from.line);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 this.gap = {from: change.from.line, to: endLine + 1};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 if (sizeChange) for (var i = 0; i < this.matches.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 var match = this.matches[i];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 var newFrom = offsetLine(match.from.line, startLine, sizeChange);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 if (newFrom != match.from.line) match.from = CodeMirror.Pos(newFrom, match.from.ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 var newTo = offsetLine(match.to.line, startLine, sizeChange);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 if (newTo != match.to.line) match.to = CodeMirror.Pos(newTo, match.to.ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 clearTimeout(this.update);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 var self = this;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 this.update = setTimeout(function() { self.updateAfterChange(); }, 250);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 SearchAnnotation.prototype.updateAfterChange = function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 this.findMatches();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 this.annotation.update(this.matches);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 SearchAnnotation.prototype.clear = function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 this.cm.off("change", this.changeHandler);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 this.annotation.clear();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 });