annotate .cms/lib/codemirror/addon/search/jump-to-line.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 // Defines jumpToLine command. Uses dialog.js if present.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 mod(require("../../lib/codemirror"), require("../dialog/dialog"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 define(["../../lib/codemirror", "../dialog/dialog"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 // default search panel location
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 CodeMirror.defineOption("search", {bottom: false});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 function dialog(cm, text, shortText, deflt, f) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 if (cm.openDialog) cm.openDialog(text, f, {value: deflt, selectValueOnOpen: true, bottom: cm.options.search.bottom});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 else f(prompt(shortText, deflt));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 function getJumpDialog(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 return cm.phrase("Jump to line:") + ' <input type="text" style="width: 10em" class="CodeMirror-search-field"/> <span style="color: #888" class="CodeMirror-search-hint">' + cm.phrase("(Use line:column or scroll% syntax)") + '</span>';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 function interpretLine(cm, string) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 var num = Number(string)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 if (/^[-+]/.test(string)) return cm.getCursor().line + num
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 else return num - 1
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 CodeMirror.commands.jumpToLine = function(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 var cur = cm.getCursor();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 dialog(cm, getJumpDialog(cm), cm.phrase("Jump to line:"), (cur.line + 1) + ":" + cur.ch, function(posStr) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 if (!posStr) return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 var match;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 if (match = /^\s*([\+\-]?\d+)\s*\:\s*(\d+)\s*$/.exec(posStr)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 cm.setCursor(interpretLine(cm, match[1]), Number(match[2]))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 } else if (match = /^\s*([\+\-]?\d+(\.\d+)?)\%\s*/.exec(posStr)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 var line = Math.round(cm.lineCount() * Number(match[1]) / 100);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 if (/^[-+]/.test(match[1])) line = cur.line + line + 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 cm.setCursor(line - 1, cur.ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 } else if (match = /^\s*\:?\s*([\+\-]?\d+)\s*/.exec(posStr)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 cm.setCursor(interpretLine(cm, match[1]), cur.ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 }
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 CodeMirror.keyMap["default"]["Alt-G"] = "jumpToLine";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 });