ViewManager/ViewManager.py

branch
maintenance
changeset 6455
22a6fc33ab6d
parent 6319
df201b9fbad4
parent 6421
ef33cbc7cc8c
child 6646
51eefa621de4
equal deleted inserted replaced
6409:913a08004977 6455:22a6fc33ab6d
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