--- a/IDEFrame.py	Fri Apr 05 00:56:54 2013 +0200
+++ b/IDEFrame.py	Fri Apr 05 08:11:27 2013 +0200
@@ -905,7 +905,8 @@
             wx.TheClipboard.SetData(data)
             wx.TheClipboard.Flush()
             wx.TheClipboard.Close()
-        self.RefreshEditMenu()
+        if self.EditMenu:
+            self.RefreshEditMenu()
 
     def GetDrawingMode(self):
         return self.DrawingMode