--- a/IDEFrame.py Thu May 16 13:11:33 2013 +0200
+++ b/IDEFrame.py Thu May 16 13:13:00 2013 +0200
@@ -1429,7 +1429,8 @@
#-------------------------------------------------------------------------------
def RefreshProjectTree(self):
- self.ProjectTree.SetEvtHandlerEnabled(False)
+ if wx.Platform == '__WXMSW__': + self.ProjectTree.SetEvtHandlerEnabled(False) # Extract current selected item tagname
selected = self.ProjectTree.GetSelection()
@@ -1450,7 +1451,7 @@
# Select new item corresponding to previous selected item
self.SelectProjectTreeItem(tagname)
+ elif wx.Platform == '__WXMSW__': self.ProjectTree.SetEvtHandlerEnabled(True)
def ResetSelectedItem(self):