# HG changeset patch
# User Andrey Skvortsov <andrej.skvortzov@gmail.com>
# Date 1527259229 -10800
# Node ID b8f795bdfe9ff49f49d9a0afe2a47070a5ae5ad6
# Parent  5ce6d08ff2c74faedf5f5c5bb8edc8e21c18df34
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")

diff -r 5ce6d08ff2c7 -r b8f795bdfe9f IDEFrame.py
--- 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