Beremiz.py
changeset 62 ddf0cdd71558
parent 60 e9667bec7f00
child 65 e55d6faee9d1
--- a/Beremiz.py	Fri Oct 05 17:51:55 2007 +0200
+++ b/Beremiz.py	Fri Oct 05 17:55:49 2007 +0200
@@ -260,6 +260,7 @@
         self._init_utils()
         self.SetClientSize(wx.Size(1000, 600))
         self.SetMenuBar(self.menuBar1)
+        self.Bind(wx.EVT_ACTIVATE, self.OnFrameActivated)
         
         self.MainSplitter = wx.SplitterWindow(id=ID_BEREMIZMAINSPLITTER,
               name='MainSplitter', parent=self, point=wx.Point(0, 0),
@@ -332,7 +333,11 @@
         self.RefreshPluginParams()
         self.RefreshButtons()
         self.RefreshMainMenu()
-        
+    
+    def OnFrameActivated(self, event):
+        if not event.GetActive():
+            self.PluginRoot.RefreshPluginsBlockLists()
+    
     def RefreshButtons(self):
         if self.PluginRoot.HasProjectOpened():
             self.PluginChilds.Enable(True)
@@ -493,6 +498,7 @@
                         button.Bind(wx.EVT_BUTTON, self.GetButtonCallBackFunction(plugin, method), id=id)
                         boxsizer.AddWindow(button, 0, border=5, flag=wx.GROW|wx.RIGHT)
             self.ParamsPanelMainSizer.Layout()
+            self.ParamsPanel.SetClientSize(self.ParamsPanel.GetClientSize())
             
             # Refresh PluginChilds
             self.PluginChilds.Clear()
@@ -575,10 +581,7 @@
                 
     def RefreshSizerElement(self, sizer, elements, path, clean = True):
         if clean:
-            if wx.VERSION >= (2, 7, 0):
-                sizer.Clear(True)
-            else:
-                self.ClearSizer(sizer)
+            sizer.Clear(True)
         first = True
         for element_infos in elements:
             if path: