KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

forgot to geenrate update opts

Browse Source
This commit is contained in:
Kovid Goyal 2021-07-31 18:45:49 +05:30
parent ef76c075e0
commit 4cd6829657
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/options/types.py generated
View File

@ -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