diff options
author | hut <hut@lavabit.com> | 2010-10-01 21:35:48 +0200 |
---|---|---|
committer | hut <hut@lavabit.com> | 2010-10-10 02:50:19 +0200 |
commit | 1013395554732543ad8da72b2f0ed8895df508f8 (patch) | |
tree | f1f1ce60f23c53930b762160b0fa713c767280be | |
parent | b1105006ca6b3e14de1c997f1258a951d267e408 (diff) | |
download | ranger-1013395554732543ad8da72b2f0ed8895df508f8.tar.gz |
gui.ui: Disable mouse 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 b0c1a352..2f27f11e 100644 --- a/ranger/gui/ui.py +++ b/ranger/gui/ui.py @@ -123,8 +123,8 @@ class UI(DisplayableContainer): event = MouseEvent(curses.getmouse()) except _curses.error: return - - DisplayableContainer.click(self, event) + if not self.console.visible: + DisplayableContainer.click(self, event) def handle_key(self, key): """Handles key input""" |