BeremizIDE.py
changeset 2255 f6a0508fa473
parent 2243 02f03bd7639e
child 2309 d8fb90a2e11f
child 2431 6923074540dd
--- a/BeremizIDE.py	Sun Jul 29 02:00:03 2018 +0300
+++ b/BeremizIDE.py	Mon Jul 30 19:02:36 2018 +0300
@@ -739,6 +739,7 @@
     def RefreshStatusToolBar(self):
         StatusToolBar = self.Panes["StatusToolBar"]
         StatusToolBar.ClearTools()
+        StatusToolBar.SetMinSize(StatusToolBar.GetToolBitmapSize())
 
         if self.CTR is not None: