--- a/IDEFrame.py	Thu May 02 10:45:07 2013 +0200
+++ b/IDEFrame.py	Thu May 02 13:30:24 2013 +0200
@@ -903,8 +903,7 @@
             wx.TheClipboard.SetData(data)
             wx.TheClipboard.Flush()
             wx.TheClipboard.Close()
-        if self.EditMenu:
-            self.RefreshEditMenu()
+        self.RefreshEditMenu()
 
     def GetDrawingMode(self):
         return self.DrawingMode