beremiz

Parents 5ce6d08ff2c7
Children a66062a205ae
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")
  • +1 -1
    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