--- 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): """