ViewManager/ViewManager.py

changeset 6421
ef33cbc7cc8c
parent 6297
85e20e9b4d55
child 6455
22a6fc33ab6d
child 6645
ad476851d7e0
--- a/ViewManager/ViewManager.py	Mon Jul 09 19:09:19 2018 +0200
+++ b/ViewManager/ViewManager.py	Mon Jul 09 19:10:09 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