Fix HOME, PageUp, PageDown shortcuts for terminal.

Signed-off-by: Oleksandr Andriienko <oandriie@redhat.com>
eclipse-theia · Mar 10, 2020 · 9d1e1c5 · 9d1e1c5
1 parent d5a60bb
commit 9d1e1c5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/packages/terminal/src/browser/terminal-frontend-contribution.ts b/packages/terminal/src/browser/terminal-frontend-contribution.ts
@@ -371,17 +371,17 @@ export class TerminalFrontendContribution implements TerminalService, CommandCon
         });
         keybindings.registerKeybinding({
             command: TerminalCommands.SCROLL_TO_TOP.id,
-            keybinding: 'home',
+            keybinding: 'shift-home',
             context: TerminalKeybindingContexts.terminalActive
         });
         keybindings.registerKeybinding({
             command: TerminalCommands.SCROLL_PAGE_UP.id,
-            keybinding: 'pageUp',
+            keybinding: 'shift-pageUp',
             context: TerminalKeybindingContexts.terminalActive
         });
         keybindings.registerKeybinding({
             command: TerminalCommands.SCROLL_PAGE_DOWN.id,
-            keybinding: 'pageDown',
+            keybinding: 'shift-pageDown',
             context: TerminalKeybindingContexts.terminalActive
         });