From 4cd68296576a806046285f77e26b045ef791e0d4 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 31 Jul 2021 18:45:49 +0530 Subject: [PATCH] forgot to geenrate update opts --- kitty/options/types.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kitty/options/types.py b/kitty/options/types.py index 044cc030e..193de8b61 100644 --- a/kitty/options/types.py +++ b/kitty/options/types.py @@ -715,9 +715,9 @@ defaults.map = [ # scroll_end KeyDefinition(False, KeyAction('scroll_end'), 1024, False, 57357, ()), # scroll_to_previous_prompt - KeyDefinition(False, KeyAction('scroll_to_prompt', (-1,)), 1024, False, 120, ()), + KeyDefinition(False, KeyAction('scroll_to_prompt', (-1,)), 1024, False, 122, ()), # scroll_to_next_prompt - KeyDefinition(False, KeyAction('scroll_to_prompt', (1,)), 1024, False, 100, ()), + KeyDefinition(False, KeyAction('scroll_to_prompt', (1,)), 1024, False, 120, ()), # show_scrollback KeyDefinition(False, KeyAction('show_scrollback'), 1024, False, 104, ()), # show_last_command_output