--- a/objdictgen/objdictedit.py	Tue Oct 02 14:06:30 2007 +0200
+++ b/objdictgen/objdictedit.py	Tue Oct 02 17:45:25 2007 +0200
@@ -362,7 +362,7 @@
             window = self.FileOpened.GetPage(selected)
             if window:
                 self.Manager.ChangeCurrentNode(window.GetIndex())
-                self.RefreshBufferState()
+                wx.CallAfter(self.RefreshBufferState)
                 self.RefreshStatusBar()
                 self.RefreshProfileMenu()
         event.Skip()