Leave and re-enter hint mode when double-hinting.

See #613.
This commit is contained in:
Florian Bruhin 2015-05-06 22:38:08 +02:00
parent 9a5839650c
commit 2f0b976bca

View File

@ -748,7 +748,7 @@ class HintManager(QObject):
mode_manager = objreg.get('mode-manager', scope='window',
window=self._win_id)
if mode_manager.mode == usertypes.KeyMode.hint:
raise cmdexc.CommandError("Already hinting!")
modeman.leave(win_id, usertypes.KeyMode.hint, 're-hinting')
if rapid and target not in (Target.tab_bg, Target.window, Target.run,
Target.hover, Target.userscript,