annotate .cms/lib/codemirror/src/edit/key_events.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 import { signalLater } from "../util/operation_group.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 import { restartBlink } from "../display/selection.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 import { isModifierKey, keyName, lookupKey } from "../input/keymap.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 import { eventInWidget } from "../measurement/widgets.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 import { ie, ie_version, mac, presto, gecko } from "../util/browser.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 import { activeElt, addClass, rmClass, root } from "../util/dom.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 import { e_preventDefault, off, on, signalDOMEvent } from "../util/event.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 import { hasCopyEvent } from "../util/feature_detection.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 import { Delayed, Pass } from "../util/misc.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 import { commands } from "./commands.js"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 // Run a handler that was bound to a key.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 function doHandleBinding(cm, bound, dropShift) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 if (typeof bound == "string") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 bound = commands[bound]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 if (!bound) return false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 // Ensure previous input has been read, so that the handler sees a
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 // consistent view of the document
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 cm.display.input.ensurePolled()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 let prevShift = cm.display.shift, done = false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 try {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 if (cm.isReadOnly()) cm.state.suppressEdits = true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 if (dropShift) cm.display.shift = false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 done = bound(cm) != Pass
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 } finally {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 cm.display.shift = prevShift
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 cm.state.suppressEdits = false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 return done
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 function lookupKeyForEditor(cm, name, handle) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 for (let i = 0; i < cm.state.keyMaps.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 let result = lookupKey(name, cm.state.keyMaps[i], handle, cm)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 if (result) return result
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 return (cm.options.extraKeys && lookupKey(name, cm.options.extraKeys, handle, cm))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 || lookupKey(name, cm.options.keyMap, handle, cm)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 // Note that, despite the name, this function is also used to check
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 // for bound mouse clicks.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 let stopSeq = new Delayed
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 export function dispatchKey(cm, name, e, handle) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 let seq = cm.state.keySeq
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 if (seq) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 if (isModifierKey(name)) return "handled"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 if (/\'$/.test(name))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 cm.state.keySeq = null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 stopSeq.set(50, () => {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 if (cm.state.keySeq == seq) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 cm.state.keySeq = null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 cm.display.input.reset()
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 })
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (dispatchKeyInner(cm, seq + " " + name, e, handle)) return true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 return dispatchKeyInner(cm, name, e, handle)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 function dispatchKeyInner(cm, name, e, handle) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 let result = lookupKeyForEditor(cm, name, handle)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 if (result == "multi")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 cm.state.keySeq = name
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 if (result == "handled")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 signalLater(cm, "keyHandled", cm, name, e)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 if (result == "handled" || result == "multi") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 e_preventDefault(e)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 restartBlink(cm)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 return !!result
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 // Handle a key from the keydown event.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 function handleKeyBinding(cm, e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 let name = keyName(e, true)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 if (!name) return false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 if (e.shiftKey && !cm.state.keySeq) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 // First try to resolve full name (including 'Shift-'). Failing
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 // that, see if there is a cursor-motion command (starting with
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 // 'go') bound to the keyname without 'Shift-'.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 return dispatchKey(cm, "Shift-" + name, e, b => doHandleBinding(cm, b, true))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 || dispatchKey(cm, name, e, b => {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 if (typeof b == "string" ? /^go[A-Z]/.test(b) : b.motion)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 return doHandleBinding(cm, b)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 })
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 return dispatchKey(cm, name, e, b => doHandleBinding(cm, b))
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 // Handle a key from the keypress event
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 function handleCharBinding(cm, e, ch) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 return dispatchKey(cm, "'" + ch + "'", e, b => doHandleBinding(cm, b, true))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 let lastStoppedKey = null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 export function onKeyDown(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 let cm = this
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 if (e.target && e.target != cm.display.input.getField()) return
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 cm.curOp.focus = activeElt(root(cm))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 if (signalDOMEvent(cm, e)) return
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 // IE does strange things with escape.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 if (ie && ie_version < 11 && e.keyCode == 27) e.returnValue = false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 let code = e.keyCode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 cm.display.shift = code == 16 || e.shiftKey
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 let handled = handleKeyBinding(cm, e)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 if (presto) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 lastStoppedKey = handled ? code : null
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 // Opera has no cut event... we try to at least catch the key combo
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 if (!handled && code == 88 && !hasCopyEvent && (mac ? e.metaKey : e.ctrlKey))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 cm.replaceSelection("", null, "cut")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 if (gecko && !mac && !handled && code == 46 && e.shiftKey && !e.ctrlKey && document.execCommand)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 document.execCommand("cut")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 // Turn mouse into crosshair when Alt is held on Mac.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 if (code == 18 && !/\bCodeMirror-crosshair\b/.test(cm.display.lineDiv.className))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 showCrossHair(cm)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 function showCrossHair(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 let lineDiv = cm.display.lineDiv
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 addClass(lineDiv, "CodeMirror-crosshair")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 function up(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 if (e.keyCode == 18 || !e.altKey) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 rmClass(lineDiv, "CodeMirror-crosshair")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 off(document, "keyup", up)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 off(document, "mouseover", up)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 on(document, "keyup", up)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 on(document, "mouseover", up)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 export function onKeyUp(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 if (e.keyCode == 16) this.doc.sel.shift = false
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 signalDOMEvent(this, e)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 export function onKeyPress(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 let cm = this
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 if (e.target && e.target != cm.display.input.getField()) return
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 if (eventInWidget(cm.display, e) || signalDOMEvent(cm, e) || e.ctrlKey && !e.altKey || mac && e.metaKey) return
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 let keyCode = e.keyCode, charCode = e.charCode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 if (presto && keyCode == lastStoppedKey) {lastStoppedKey = null; e_preventDefault(e); return}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 if ((presto && (!e.which || e.which < 10)) && handleKeyBinding(cm, e)) return
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 let ch = String.fromCharCode(charCode == null ? keyCode : charCode)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 // Some browsers fire keypress events for backspace
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 if (ch == "\x08") return
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 if (handleCharBinding(cm, e, ch)) return
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 cm.display.input.onKeyPress(e)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 }