ViewManager/ViewManager.py

changeset 5689
73f3d131d035
parent 5674
a0ad2dcb27f9
child 5726
e1dbd217214a
--- a/ViewManager/ViewManager.py	Sat Apr 08 20:33:23 2017 +0200
+++ b/ViewManager/ViewManager.py	Sun Apr 09 16:15:08 2017 +0200
@@ -6295,7 +6295,10 @@
         
         @return flag indicating success (boolean)
         """
-        e5App().focusChanged.disconnect(self.appFocusChanged)
+        try:
+            e5App().focusChanged.disconnect(self.appFocusChanged)
+        except TypeError:
+            pass
         
         self.closeAllWindows()
         

eric ide

mercurial