reconnect hotkey - fixes #3344

This commit is contained in:
Eugene Pankov 2021-02-13 12:49:07 +01:00
parent 9b5b5a9d00
commit aab1ae3ceb
No known key found for this signature in database
GPG Key ID: 5896FCBBDD1CF4F4
5 changed files with 13 additions and 0 deletions

View File

@ -44,6 +44,9 @@ export class SerialTabComponent extends BaseTerminalTabComponent {
case 'end':
this.sendInput('\x1b[F' )
break
case 'restart-serial-session':
this.reconnect()
break
}
})

View File

@ -12,6 +12,7 @@ export class SerialConfigProvider extends ConfigProvider {
serial: [
'Alt-K',
],
'restart-serial-session': [],
},
}

View File

@ -9,6 +9,10 @@ export class SerialHotkeyProvider extends HotkeyProvider {
id: 'serial',
name: 'Show Serial connections',
},
{
id: 'restart-serial-session',
name: 'Restart current serial session',
},
]
async provide (): Promise<HotkeyDescription[]> {

View File

@ -13,6 +13,7 @@ export class SSHConfigProvider extends ConfigProvider {
ssh: [
'Alt-S',
],
'restart-ssh-session': [],
},
}

View File

@ -9,6 +9,10 @@ export class SSHHotkeyProvider extends HotkeyProvider {
id: 'ssh',
name: 'Show SSH connections',
},
{
id: 'restart-ssh-session',
name: 'Restart current SSH session',
},
]
async provide (): Promise<HotkeyDescription[]> {