annotate .cms/lib/codemirror/addon/search/match-highlighter.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 // Highlighting text that matches the selection
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 //
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 // Defines an option highlightSelectionMatches, which, when enabled,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 // will style strings that match the selection throughout the
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 // document.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 //
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 // The option can be set to true to simply enable it, or to a
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 // {minChars, style, wordsOnly, showToken, delay} object to explicitly
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 // configure it. minChars is the minimum amount of characters that should be
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 // selected for the behavior to occur, and style is the token style to
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 // apply to the matches. This will be prefixed by "cm-" to create an
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 // actual CSS class name. If wordsOnly is enabled, the matches will be
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 // highlighted only if the selected text is a word. showToken, when enabled,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 // will cause the current token to be highlighted when nothing is selected.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 // delay is used to specify how much time to wait, in milliseconds, before
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 // highlighting the matches. If annotateScrollbar is enabled, the occurrences
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 // will be highlighted on the scrollbar via the matchesonscrollbar addon.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 mod(require("../../lib/codemirror"), require("./matchesonscrollbar"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 define(["../../lib/codemirror", "./matchesonscrollbar"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 var defaults = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 style: "matchhighlight",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 minChars: 2,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 delay: 100,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 wordsOnly: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 annotateScrollbar: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 showToken: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 trim: true
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 function State(options) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 this.options = {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 for (var name in defaults)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 this.options[name] = (options && options.hasOwnProperty(name) ? options : defaults)[name]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 this.overlay = this.timeout = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 this.matchesonscroll = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 this.active = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 CodeMirror.defineOption("highlightSelectionMatches", false, function(cm, val, old) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 if (old && old != CodeMirror.Init) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 removeOverlay(cm);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 clearTimeout(cm.state.matchHighlighter.timeout);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 cm.state.matchHighlighter = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 cm.off("cursorActivity", cursorActivity);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 cm.off("focus", onFocus)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 if (val) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 var state = cm.state.matchHighlighter = new State(val);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (cm.hasFocus()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 state.active = true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 highlightMatches(cm)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 cm.on("focus", onFocus)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 cm.on("cursorActivity", cursorActivity);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 function cursorActivity(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 var state = cm.state.matchHighlighter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 if (state.active || cm.hasFocus()) scheduleHighlight(cm, state)
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 function onFocus(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 var state = cm.state.matchHighlighter
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 if (!state.active) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 state.active = true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 scheduleHighlight(cm, state)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 function scheduleHighlight(cm, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 clearTimeout(state.timeout);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 state.timeout = setTimeout(function() {highlightMatches(cm);}, state.options.delay);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 function addOverlay(cm, query, hasBoundary, style) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 var state = cm.state.matchHighlighter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 cm.addOverlay(state.overlay = makeOverlay(query, hasBoundary, style));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 if (state.options.annotateScrollbar && cm.showMatchesOnScrollbar) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 var searchFor = hasBoundary ? new RegExp((/\w/.test(query.charAt(0)) ? "\\b" : "") +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 query.replace(/[\\\[.+*?(){|^$]/g, "\\$&") +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 (/\w/.test(query.charAt(query.length - 1)) ? "\\b" : "")) : query;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 state.matchesonscroll = cm.showMatchesOnScrollbar(searchFor, false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 {className: "CodeMirror-selection-highlight-scrollbar"});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 function removeOverlay(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 var state = cm.state.matchHighlighter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 if (state.overlay) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 cm.removeOverlay(state.overlay);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 state.overlay = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 if (state.matchesonscroll) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 state.matchesonscroll.clear();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 state.matchesonscroll = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 function highlightMatches(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 cm.operation(function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 var state = cm.state.matchHighlighter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 removeOverlay(cm);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 if (!cm.somethingSelected() && state.options.showToken) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 var re = state.options.showToken === true ? /[\w$]/ : state.options.showToken;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 var cur = cm.getCursor(), line = cm.getLine(cur.line), start = cur.ch, end = start;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 while (start && re.test(line.charAt(start - 1))) --start;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 while (end < line.length && re.test(line.charAt(end))) ++end;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 if (start < end)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 addOverlay(cm, line.slice(start, end), re, state.options.style);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 var from = cm.getCursor("from"), to = cm.getCursor("to");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 if (from.line != to.line) return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 if (state.options.wordsOnly && !isWord(cm, from, to)) return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 var selection = cm.getRange(from, to)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 if (state.options.trim) selection = selection.replace(/^\s+|\s+$/g, "")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 if (selection.length >= state.options.minChars)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 addOverlay(cm, selection, false, state.options.style);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 function isWord(cm, from, to) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 var str = cm.getRange(from, to);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 if (str.match(/^\w+$/) !== null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 if (from.ch > 0) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 var pos = {line: from.line, ch: from.ch - 1};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 var chr = cm.getRange(pos, from);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 if (chr.match(/\W/) === null) return false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 if (to.ch < cm.getLine(from.line).length) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 var pos = {line: to.line, ch: to.ch + 1};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 var chr = cm.getRange(to, pos);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 if (chr.match(/\W/) === null) return false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 return true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 } else return false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 function boundariesAround(stream, re) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 return (!stream.start || !re.test(stream.string.charAt(stream.start - 1))) &&
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 (stream.pos == stream.string.length || !re.test(stream.string.charAt(stream.pos)));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 function makeOverlay(query, hasBoundary, style) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 return {token: function(stream) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 if (stream.match(query) &&
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 (!hasBoundary || boundariesAround(stream, hasBoundary)))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 stream.skipTo(query.charAt(0)) || stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 }};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 });