changeset 1736 | 7e61baa047f0 |
parent 1731 | 6ebd9c40b2be |
child 1741 | dd94b9a68c61 |
--- a/controls/EnhancedStatusBar.py Mon Aug 14 22:30:41 2017 +0300 +++ b/controls/EnhancedStatusBar.py Mon Aug 14 23:27:15 2017 +0300 @@ -80,6 +80,7 @@ def __init__(self, widget, pos, horizontalalignment=ESB_ALIGN_CENTER_HORIZONTAL, verticalalignment=ESB_ALIGN_CENTER_VERTICAL): self.__dict__.update( locals() ) + class EnhancedStatusBar(wx.StatusBar): def __init__(self, parent, id=wx.ID_ANY, style=wx.ST_SIZEGRIP,