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: