Bump default for partial-timeout to 5000ms.

Give more time to read the keyhint widget.
This commit is contained in:
Ryan Roden-Corrent 2016-05-17 20:13:25 -04:00
parent e810317057
commit acdeb0f57c

View File

@ -477,7 +477,7 @@ def data(readonly=False):
"Timeout for ambiguous key bindings."),
('partial-timeout',
SettingValue(typ.Int(minval=0, maxval=MAXVALS['int']), '2500'),
SettingValue(typ.Int(minval=0, maxval=MAXVALS['int']), '5000'),
"Timeout for partially typed key bindings."),
('insert-mode-on-plugins',