changeset 745 | ecd2effd4660 |
parent 741 | 330f578e228d |
child 761 | 996515c4b394 |
--- a/Viewer.py Tue Aug 21 18:41:17 2012 +0200 +++ b/Viewer.py Sat Aug 25 14:44:49 2012 +0200 @@ -927,7 +927,7 @@ if self.ParentWindow: self.ParentWindow.RefreshTitle() self.ParentWindow.RefreshFileMenu() - wx.CallAfter(self.ParentWindow.RefreshEditMenu) + self.ParentWindow.RefreshEditMenu() def StartBuffering(self): if not self.Buffering: