[mod] preferences: implement drop-down menu for hotkeys (default, vim)

Replace the on/off checkbox of the vim-hotkeys in the preferences by a drop-down
menu.

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
This commit is contained in:
Markus Heiser 2023-09-16 17:14:18 +02:00 committed by Markus Heiser
parent 09935e2897
commit 317db5b04f
6 changed files with 30 additions and 12 deletions

View file

@ -1,10 +0,0 @@
from flask_babel import gettext
name = gettext('Vim-like hotkeys')
description = gettext(
'Navigate search results with Vim-like hotkeys '
'(JavaScript required). '
'Press "h" key on main or result page to get help.'
)
default_on = False
preference_section = 'ui'