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 | |
| parent | e1d0613aa84de9999efb1051ae54061e282f6112 (diff) | |
| download | ranger-334e81f2188b805d4808eca0c87205096590d166.tar.gz | |
gui.ui: don't flush input when console is open
| -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() |