diff -r 913a08004977 -r 22a6fc33ab6d ViewManager/ViewManager.py --- 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): """