Changeset 147:7a297d30a0ce for src/mlx/gui/gui.py

Timestamp:

05/02/12 17:43:02 (12 years ago)

Author:

István Váradi <ivaradi@…>

Branch:

default

Phase:

public

Message:

Added option to hide the window when minimized

File:

• src/mlx/gui/gui.py (modified) (1 diff)

src/mlx/gui/gui.py

@@ -476 +476 @@
         iconified = gdk.WindowState.ICONIFIED if pygobject \
                     else gdk.WINDOW_STATE_ICONIFIED
-        if (event.changed_mask&iconified)!=0 and (event.new_window_state&iconified)!=0:
+        if self.config.hideMinimizedWindow and \
+           (event.changed_mask&iconified)!=0 and \
+           (event.new_window_state&iconified)!=0:
             self.hideMainWindow(savePosition = False)