handle shift-insert through hotkeys system - fixes #3565, fixes #4451

This commit is contained in:
Eugene Pankov 2021-08-22 20:12:23 +02:00
parent c1c7654380
commit da28596968
No known key found for this signature in database
GPG Key ID: 5896FCBBDD1CF4F4
3 changed files with 7 additions and 2 deletions

View File

@ -594,7 +594,7 @@ export class BaseTerminalTabComponent extends BaseTabComponent implements OnInit
this.termContainerSubscriptions.subscribe(this.focused$, () => this.frontend && (this.frontend.enableResizing = true))
this.termContainerSubscriptions.subscribe(this.blurred$, () => this.frontend && (this.frontend.enableResizing = false))
this.termContainerSubscriptions.subscribe(this.frontend.mouseEvent$, async event => {
this.termContainerSubscriptions.subscribe(this.frontend.mouseEvent$, event => {
if (event.type === 'mousedown') {
if (event.which === 1) {
this.cancelFocusAllPanes()

View File

@ -120,6 +120,7 @@ export class TerminalConfigProvider extends ConfigProvider {
],
paste: [
'Ctrl-Shift-V',
'Shift-Insert',
],
'select-all': ['Ctrl-Shift-A'],
clear: [],
@ -159,6 +160,7 @@ export class TerminalConfigProvider extends ConfigProvider {
],
paste: [
'Ctrl-Shift-V',
'Shift-Insert',
],
'select-all': ['Ctrl-Shift-A'],
clear: [],

View File

@ -97,7 +97,10 @@ export class XTermFrontend extends Frontend {
this.xterm.attachCustomKeyEventHandler((event: KeyboardEvent) => {
if (this.hostApp.platform !== Platform.Web) {
if (event.getModifierState('Meta') && event.key.toLowerCase() === 'v') {
if (
event.getModifierState('Meta') && event.key.toLowerCase() === 'v' ||
event.key === 'Insert' && event.shiftKey
) {
event.preventDefault()
return false
}