added support for Ctrl-/ - fixes #6235, fixes #3382

This commit is contained in:
Eugene Pankov 2022-06-18 10:40:31 +02:00
parent 85d0b47511
commit a24c1c489b
No known key found for this signature in database
GPG key ID: 5896FCBBDD1CF4F4

View file

@ -148,7 +148,14 @@ export class XTermFrontend extends Frontend {
return true return true
} }
} }
if (event.type === 'keydown' && event.key === '/' && event.ctrlKey) {
this.input.next(Buffer.from('\u001f', 'binary'))
return false
}
this.hotkeysService.pushKeyEvent(name, event) this.hotkeysService.pushKeyEvent(name, event)
let ret = true let ret = true
if (this.hotkeysService.matchActiveHotkey(true) !== null) { if (this.hotkeysService.matchActiveHotkey(true) !== null) {
event.stopPropagation() event.stopPropagation()