equal
deleted
inserted
replaced
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): |