BeremizIDE.py
changeset 2259 53f3eb5c47f7
parent 2255 f6a0508fa473
child 2309 d8fb90a2e11f
child 2431 6923074540dd
--- a/BeremizIDE.py	Wed Aug 08 13:27:44 2018 +0200
+++ b/BeremizIDE.py	Wed Aug 08 13:46:19 2018 +0200
@@ -739,6 +739,7 @@
     def RefreshStatusToolBar(self):
         StatusToolBar = self.Panes["StatusToolBar"]
         StatusToolBar.ClearTools()
+        StatusToolBar.SetMinSize(StatusToolBar.GetToolBitmapSize())
 
         if self.CTR is not None: