PLCOpenEditor.py
changeset 403 2160fd6d83ed
parent 402 281fd35e7a7b
child 407 0a324a874981
child 414 8d9e7edc0195
--- a/PLCOpenEditor.py	Tue Sep 01 14:21:31 2009 +0200
+++ b/PLCOpenEditor.py	Tue Sep 01 16:58:03 2009 +0200
@@ -822,6 +822,7 @@
             dataobj = wx.TextDataObject()
             if wx.TheClipboard.GetData(dataobj):
                 data = dataobj.GetText()
+        if wx.TheClipboard.IsOpened():
             wx.TheClipboard.Close()
         return data
         
@@ -831,6 +832,7 @@
             data.SetText(text)
             wx.TheClipboard.SetData(data)
             wx.TheClipboard.Flush()
+        if wx.TheClipboard.IsOpened():
             wx.TheClipboard.Close()
         self.RefreshEditMenu()