ViewManager/ViewManager.py

changeset 6421
ef33cbc7cc8c
parent 6297
85e20e9b4d55
child 6455
22a6fc33ab6d
child 6645
ad476851d7e0
equal deleted inserted replaced
6420:4dd44f42a24f 6421:ef33cbc7cc8c
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.

eric ide

mercurial