diff -r 193e6cd9010f -r 950787298c96 IDEFrame.py
--- 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
         if tagname is not None:
             self.SelectProjectTreeItem(tagname)
-        else:
+        elif wx.Platform == '__WXMSW__':
             self.ProjectTree.SetEvtHandlerEnabled(True)
 
     def ResetSelectedItem(self):