IDEFrame.py
changeset 1087 16cc3c42e413
parent 1028 0ddbc39c91ee
child 1089 5cd1f8df71aa
equal deleted inserted replaced
1086:b566ab5556ab 1087:16cc3c42e413
   901             data = wx.TextDataObject()
   901             data = wx.TextDataObject()
   902             data.SetText(text)
   902             data.SetText(text)
   903             wx.TheClipboard.SetData(data)
   903             wx.TheClipboard.SetData(data)
   904             wx.TheClipboard.Flush()
   904             wx.TheClipboard.Flush()
   905             wx.TheClipboard.Close()
   905             wx.TheClipboard.Close()
   906         if self.EditMenu:
   906         self.RefreshEditMenu()
   907             self.RefreshEditMenu()
       
   908 
   907 
   909     def GetDrawingMode(self):
   908     def GetDrawingMode(self):
   910         return self.DrawingMode
   909         return self.DrawingMode
   911 
   910 
   912     def RefreshScaling(self):
   911     def RefreshScaling(self):