IDEFrame.py
changeset 2167 b8f795bdfe9f
parent 2166 5ce6d08ff2c7
child 2169 baa0c5111457
equal deleted inserted replaced
2166:5ce6d08ff2c7 2167:b8f795bdfe9f
   973             data.SetText(text)
   973             data.SetText(text)
   974             if wx.TheClipboard.Open():
   974             if wx.TheClipboard.Open():
   975                 wx.TheClipboard.SetData(data)
   975                 wx.TheClipboard.SetData(data)
   976                 wx.TheClipboard.Flush()
   976                 wx.TheClipboard.Flush()
   977                 wx.TheClipboard.Close()
   977                 wx.TheClipboard.Close()
   978         self.RefreshEditMenu()
   978         wx.CallAfter(self.RefreshEditMenu)
   979 
   979 
   980     def GetDrawingMode(self):
   980     def GetDrawingMode(self):
   981         return self.DrawingMode
   981         return self.DrawingMode
   982 
   982 
   983     def RefreshScaling(self):
   983     def RefreshScaling(self):