--- a/IDEFrame.py Tue Apr 09 18:42:47 2013 +0200
+++ b/IDEFrame.py Wed Apr 10 20:47:59 2013 +0200
@@ -881,11 +881,10 @@
def GetCopyBuffer(self, primary_selection=False):
- if wx.Platform != '__WXMSW__':
- wx.TheClipboard.UsePrimarySelection(primary_selection)
+ if primary_selection and wx.Platform == '__WXMSW__': + wx.TheClipboard.UsePrimarySelection(primary_selection) if wx.TheClipboard.Open():
dataobj = wx.TextDataObject()
if wx.TheClipboard.GetData(dataobj):
@@ -894,11 +893,10 @@
def SetCopyBuffer(self, text, primary_selection=False):
- if wx.Platform != '__WXMSW__':
- wx.TheClipboard.UsePrimarySelection(primary_selection)
+ if primary_selection and wx.Platform == '__WXMSW__': + wx.TheClipboard.UsePrimarySelection(primary_selection) if wx.TheClipboard.Open():
data = wx.TextDataObject()