Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

changeset 527
8f7dc3c486e2
parent 526
f51eb1f0ab40
child 791
9ec2ac20e54e
--- a/Plugins/ViewManagerPlugins/MdiArea/MdiArea.py	Sun Aug 29 20:44:20 2010 +0200
+++ b/Plugins/ViewManagerPlugins/MdiArea/MdiArea.py	Sun Aug 29 22:28:24 2010 +0200
@@ -236,6 +236,12 @@
                     self.tileAct, self.cascadeAct, 
                     self.restoreAllAct, self.iconizeAllAct, 
                     None])
+        for act in [self.restoreAllAct, self.iconizeAllAct]:
+            act.setEnabled(len(self.editors) != 0)
+        for act in [self.nextChildAct, self.prevChildAct, self.tileAct, 
+                    self.cascadeAct]:
+            act.setEnabled(len(self.editors) > 1)
+        
         act = windowMenu.addMenu(self.windowsMenu)
         if len(self.editors) == 0:
             act.setEnabled(False)
@@ -384,7 +390,7 @@
             watched.close()
             return True
         
-        return False
+        return QMdiArea.eventFilter(self, watched, event)
         
     def __restoreAllWindows(self):
         """

eric ide

mercurial