added the missing select-all hotkey - fixes #3081, fixes #3141

This commit is contained in:
Eugene Pankov 2022-10-03 19:50:21 +02:00
parent 6bb4287f01
commit 512d2dace8
No known key found for this signature in database
GPG Key ID: 5896FCBBDD1CF4F4

View File

@ -13,6 +13,10 @@ export class TerminalHotkeyProvider extends HotkeyProvider {
id: 'paste',
name: this.translate.instant('Paste from clipboard'),
},
{
id: 'select-all',
name: this.translate.instant('Select all'),
},
{
id: 'home',
name: this.translate.instant('Beginning of the line'),