diff --git a/gui/wxpython/wxgui.py b/gui/wxpython/wxgui.py index 05212146fd2..9b91ee031fb 100644 --- a/gui/wxpython/wxgui.py +++ b/gui/wxpython/wxgui.py @@ -37,6 +37,20 @@ # during start up, remove when not needed import wx.adv + +# Fix GTK-CRITICAL assertion width/height >= -1 +def patch_gtk_size(): + orig = wx.Window.DoMoveWindow + + def _safe(self, x, y, w, h): + return orig(self, x, y, max(w, 0), max(h, 0)) + + wx.Window.DoMoveWindow = _safe + + +patch_gtk_size() + + try: import wx.lib.agw.advancedsplash as SC except ImportError: