--- a/Viewer.py	Mon Aug 13 10:41:27 2012 +0200
+++ b/Viewer.py	Sun Aug 19 16:02:12 2012 +0200
@@ -927,7 +927,7 @@
         if self.ParentWindow:
             self.ParentWindow.RefreshTitle()
             self.ParentWindow.RefreshFileMenu()
-            self.ParentWindow.RefreshEditMenu()
+            wx.CallAfter(self.ParentWindow.RefreshEditMenu)
     
     def StartBuffering(self):
         if not self.Buffering: