diff options
author | hut <hut@lavabit.com> | 2010-05-14 00:26:33 +0200 |
---|---|---|
committer | hut <hut@lavabit.com> | 2010-05-14 00:26:33 +0200 |
commit | 334e81f2188b805d4808eca0c87205096590d166 (patch) | |
tree | 398e9883b9271b5576b88c8c58c5eb3a16b680b4 /ranger | |
parent | e1d0613aa84de9999efb1051ae54061e282f6112 (diff) | |
download | ranger-334e81f2188b805d4808eca0c87205096590d166.tar.gz |
gui.ui: don't flush input when console is open
Diffstat (limited to 'ranger')
-rw-r--r-- | ranger/gui/ui.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ranger/gui/ui.py b/ranger/gui/ui.py index e40003a2..e9c20395 100644 --- a/ranger/gui/ui.py +++ b/ranger/gui/ui.py @@ -185,12 +185,12 @@ class UI(DisplayableContainer): keys = [27, keys[1] - 128] self.handle_keys(*keys) self.set_load_mode(previous_load_mode) - if self.settings.flushinput: + if self.settings.flushinput and not self.console.visible: curses.flushinp() else: # Handle simple key presses, CTRL+X, etc here: if key > 0: - if self.settings.flushinput: + if self.settings.flushinput and not self.console.visible: curses.flushinp() if key == curses.KEY_MOUSE: self.handle_mouse() |