diff options
author | hut <hut@lavabit.com> | 2011-10-01 21:00:44 +0200 |
---|---|---|
committer | hut <hut@lavabit.com> | 2011-10-01 21:00:44 +0200 |
commit | ebca83a412809623aa0c84339f07efeab4ff0bc2 (patch) | |
tree | 989af4c1be98cbabb4e8fdc008c0081ec117f812 | |
parent | 255b9ceac240be5a145e0c0123ae2589e7b8f1bf (diff) | |
download | ranger-ebca83a412809623aa0c84339f07efeab4ff0bc2.tar.gz |
gui.ui: fixed hint box when typing in numbers
-rw-r--r-- | ranger/gui/ui.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ranger/gui/ui.py b/ranger/gui/ui.py index 28620882..93f3da8e 100644 --- a/ranger/gui/ui.py +++ b/ranger/gui/ui.py @@ -147,7 +147,8 @@ class UI(DisplayableContainer): keybuffer.add(key) self.fm.hide_bookmarks() - self.browser.draw_hints = not keybuffer.finished_parsing + self.browser.draw_hints = not keybuffer.finished_parsing \ + and keybuffer.finished_parsing_quantifier if keybuffer.result is not None: try: |