--- a/IDEFrame.py Wed Apr 12 19:32:38 2023 +0200
+++ b/IDEFrame.py Wed Apr 12 21:05:00 2023 +0200
@@ -1406,11 +1406,11 @@
for child in self.TabsOpened.GetChildren():
if isinstance(child, wx.aui.AuiTabCtrl):
auitabctrl.append(child)
- if wx.VERSION > (4, 1, 0) and child not in self.AuiTabCtrl:
+ if wx.VERSION >= (4, 1, 0) and child not in self.AuiTabCtrl:
child.Bind(wx.EVT_LEFT_DCLICK, self.GetTabsOpenedDClickFunction(child))
self.AuiTabCtrl = auitabctrl
# on wxPython 4.0.7, AuiManager has no "RestorePane" method...
- if wx.VERSION > (4, 1, 0) and self.TabsOpened.GetPageCount() == 0:
+ if wx.VERSION >= (4, 1, 0) and self.TabsOpened.GetPageCount() == 0:
pane = self.AUIManager.GetPane(self.TabsOpened)
# on wxPython 4.1.0, AuiPaneInfo has no "IsMaximized" attribute...
if (not hasattr(pane, "IsMaximized")) or pane.IsMaximized():