ViewManager: implemented some code (workaround?) to cope with the changed app focus behavior starting with Qt 5.13.1.

Sun, 01 Dec 2019 13:17:07 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 01 Dec 2019 13:17:07 +0100
changeset 7344
83bb25074625
parent 7343
e0808393413f
child 7345
bc0ee7fadd03
child 7346
9108d26211f7

ViewManager: implemented some code (workaround?) to cope with the changed app focus behavior starting with Qt 5.13.1.

eric6/ViewManager/ViewManager.py file | annotate | diff | comparison | revisions
--- a/eric6/ViewManager/ViewManager.py	Sun Dec 01 09:17:30 2019 +0100
+++ b/eric6/ViewManager/ViewManager.py	Sun Dec 01 13:17:07 2019 +0100
@@ -5436,9 +5436,15 @@
         """
         Public method to handle the global change of focus.
         
-        @param old reference to the widget loosing focus (QWidget)
-        @param now reference to the widget gaining focus (QWidget)
-        """
+        @param old reference to the widget loosing focus
+        @type QWidget
+        @param now reference to the widget gaining focus
+        @type QWidget
+        """
+        # Focus handling was changed with Qt 5.13.1; this copes with that
+        if now is None:
+            return
+        
         from QScintilla.Shell import Shell
         
         if not isinstance(now, (Editor, Shell)):

eric ide

mercurial