author | lbessard |
Tue, 02 Oct 2007 17:45:25 +0200 | |
changeset 300 | b83d063c4dc4 |
parent 299 | 506f9700b9fb |
child 301 | f4b64aa848e1 |
--- 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()