changeset 1019 | e5686874eaef |
parent 1015 | 50bb7cc12a84 |
child 1024 | 626de4ff4bdc |
--- 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