فهرست منبع

revert https://trac.osgeo.org/grass/changeset/71332 since it causes GUI startup crash on Debian (wxPython 3.0.2)

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@71341 15284696-431f-4ddb-bdfa-cd5b030d7da7
Martin Landa 7 سال پیش
والد
کامیت
570eb5b3a7
2فایلهای تغییر یافته به همراه10 افزوده شده و 26 حذف شده
  1. 4 11
      gui/wxpython/core/globalvar.py
  2. 6 15
      gui/wxpython/wxgui.py

+ 4 - 11
gui/wxpython/core/globalvar.py

@@ -55,17 +55,10 @@ def CheckWxPhoenix():
 def CheckWxVersion(version):
     """Check wx version"""
     ver = wx.__version__
-    try:
-        split_ver = ver.split('.')
-        parsed_version = list(map(int, split_ver))
-    except ValueError:
-        # wxPython 4.0.0aX
-        for i, c in enumerate(split_ver[-1]):
-            if not c.isdigit():
-                break
-        parsed_version = list(map(int, split_ver[:-1])) + [int(split_ver[-1][:i])]
-
-    if parsed_version < version:
+    # don't fail on wxPython 4.0.0aX
+    if 'a' in ver: # can be removed when 4.0.0 will be out
+        ver = ver[0:ver.find('a')]
+    if list(map(int, ver.split('.'))) < version:
         return False
 
     return True

+ 6 - 15
gui/wxpython/wxgui.py

@@ -77,21 +77,12 @@ class GMApp(wx.App):
                     weight=wx.BOLD))
             splash.SetTextPosition((150, 430))
         else:
-            if globalvar.wxPythonPhoenix:
-                import wx.adv
-                wx.adv.SplashScreen(
-                    bitmap=introBmp,
-                    splashStyle=wx.adv.SPLASH_CENTRE_ON_SCREEN | wx.adv.SPLASH_TIMEOUT,
-                    milliseconds=2000,
-                    parent=None,
-                    id=wx.ID_ANY)
-            else:
-                wx.SplashScreen(
-                    bitmap=introBmp,
-                    splashStyle=wx.SPLASH_CENTRE_ON_SCREEN | wx.SPLASH_TIMEOUT,
-                    milliseconds=2000,
-                    parent=None,
-                    id=wx.ID_ANY)
+            wx.SplashScreen(
+                bitmap=introBmp,
+                splashStyle=wx.SPLASH_CENTRE_ON_SCREEN | wx.SPLASH_TIMEOUT,
+                milliseconds=2000,
+                parent=None,
+                id=wx.ID_ANY)
 
         wx.Yield()