6960 Public method to show some information for a given editor. |
6960 Public method to show some information for a given editor. |
6961 |
6961 |
6962 @param editor editor to show information text for |
6962 @param editor editor to show information text for |
6963 @type Editor |
6963 @type Editor |
6964 """ |
6964 """ |
6965 self.ui.documentationViewer().showInfo(editor) |
6965 documentationViewer = self.ui.documentationViewer() |
|
6966 if documentationViewer: |
|
6967 documentationViewer.showInfo(editor) |
6966 |
6968 |
6967 def isEditorInfoSupported(self, language): |
6969 def isEditorInfoSupported(self, language): |
6968 """ |
6970 """ |
6969 Public method to check, if a language is supported by the |
6971 Public method to check, if a language is supported by the |
6970 documentation viewer. |
6972 documentation viewer. |
6972 @param language editor programming language to check |
6974 @param language editor programming language to check |
6973 @type str |
6975 @type str |
6974 @return flag indicating the support status |
6976 @return flag indicating the support status |
6975 @rtype bool |
6977 @rtype bool |
6976 """ |
6978 """ |
6977 return self.ui.documentationViewer().isSupportedLanguage(language) |
6979 documentationViewer = self.ui.documentationViewer() |
|
6980 if documentationViewer: |
|
6981 return documentationViewer.isSupportedLanguage(language) |
|
6982 else: |
|
6983 return False |
6978 |
6984 |
6979 def __isEditorInfoSupportedEd(self, editor): |
6985 def __isEditorInfoSupportedEd(self, editor): |
6980 """ |
6986 """ |
6981 Private method to check, if an editor is supported by the |
6987 Private method to check, if an editor is supported by the |
6982 documentation viewer. |
6988 documentation viewer. |