fix hangs on mouse selection in case if wxPython uses wxWidgets with GTK3+ support
This is default configuration on Debian Buster+ and Ubuntu 18.04+.
Probably it'll fix completely problem with 'clipboard already open'
described in the previous commit 5ce6d08f ("make clipboard open minimal time as wxPython documentation recommends")
--- a/IDEFrame.py Fri May 25 17:23:15 2018 +0300
+++ b/IDEFrame.py Fri May 25 17:40:29 2018 +0300
@@ -975,7 +975,7 @@
wx.TheClipboard.SetData(data)
wx.TheClipboard.Flush()
wx.TheClipboard.Close()
- self.RefreshEditMenu()
+ wx.CallAfter(self.RefreshEditMenu)
def GetDrawingMode(self):
return self.DrawingMode