summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorhut <hut@lavabit.com>2010-05-14 00:26:33 +0200
committerhut <hut@lavabit.com>2010-05-14 00:26:33 +0200
commit334e81f2188b805d4808eca0c87205096590d166 (patch)
tree398e9883b9271b5576b88c8c58c5eb3a16b680b4
parente1d0613aa84de9999efb1051ae54061e282f6112 (diff)
downloadranger-334e81f2188b805d4808eca0c87205096590d166.tar.gz
gui.ui: don't flush input when console is open
-rw-r--r--ranger/gui/ui.py4
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()
01'>101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147