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: