ViewManager/ViewManager.py

branch
maintenance
changeset 6455
22a6fc33ab6d
parent 6319
df201b9fbad4
parent 6421
ef33cbc7cc8c
child 6646
51eefa621de4
--- a/ViewManager/ViewManager.py	Sat Jul 07 12:01:23 2018 +0200
+++ b/ViewManager/ViewManager.py	Wed Aug 01 19:43:34 2018 +0200
@@ -6962,7 +6962,9 @@
         @param editor editor to show information text for
         @type Editor
         """
-        self.ui.documentationViewer().showInfo(editor)
+        documentationViewer = self.ui.documentationViewer()
+        if documentationViewer:
+            documentationViewer.showInfo(editor)
     
     def isEditorInfoSupported(self, language):
         """
@@ -6974,7 +6976,11 @@
         @return flag indicating the support status
         @rtype bool
         """
-        return self.ui.documentationViewer().isSupportedLanguage(language)
+        documentationViewer = self.ui.documentationViewer()
+        if documentationViewer:
+            return documentationViewer.isSupportedLanguage(language)
+        else:
+            return False
     
     def __isEditorInfoSupportedEd(self, editor):
         """

eric ide

mercurial