IDEFrame.py
changeset 1019 e5686874eaef
parent 1015 50bb7cc12a84
child 1024 626de4ff4bdc
equal deleted inserted replaced
1018:6b7ba640f49e 1019:e5686874eaef
   903             data = wx.TextDataObject()
   903             data = wx.TextDataObject()
   904             data.SetText(text)
   904             data.SetText(text)
   905             wx.TheClipboard.SetData(data)
   905             wx.TheClipboard.SetData(data)
   906             wx.TheClipboard.Flush()
   906             wx.TheClipboard.Flush()
   907             wx.TheClipboard.Close()
   907             wx.TheClipboard.Close()
   908         self.RefreshEditMenu()
   908         if self.EditMenu:
       
   909             self.RefreshEditMenu()
   909 
   910 
   910     def GetDrawingMode(self):
   911     def GetDrawingMode(self):
   911         return self.DrawingMode
   912         return self.DrawingMode
   912 
   913 
   913     def RefreshScaling(self):
   914     def RefreshScaling(self):