Prevent page info from opening with editor

This commit is contained in:
Oliver Blanthorn 2018-04-28 16:35:43 +01:00
parent 5f7b411a4d
commit 159393de71
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3

View file

@ -59,7 +59,7 @@ function modeSpecificSuppression(ke: KeyboardEvent) {
} }
break break
case "input": case "input":
if (ke.key === "Tab") { if (ke.key === "Tab" || (ke.ctrlKey === true && ke.key === "i")) {
ke.preventDefault() ke.preventDefault()
ke.stopImmediatePropagation() ke.stopImmediatePropagation()
} }
@ -67,6 +67,10 @@ function modeSpecificSuppression(ke: KeyboardEvent) {
case "ignore": case "ignore":
break break
case "insert": case "insert":
if (ke.ctrlKey === true && ke.key === "i") {
ke.preventDefault()
ke.stopImmediatePropagation()
}
break break
} }
} }