ViewManager/ViewManager.py

changeset 5913
7ab2293917f8
parent 5911
0c7bcba51391
child 5949
22657f04f332
child 5956
7276a19ca07a
equal deleted inserted replaced
5912:b6643d36dddd 5913:7ab2293917f8
6829 """ 6829 """
6830 return self.ui.documentationViewer().isSupportedLanguage(language) 6830 return self.ui.documentationViewer().isSupportedLanguage(language)
6831 6831
6832 def __isEditorInfoSupportedEd(self, editor): 6832 def __isEditorInfoSupportedEd(self, editor):
6833 """ 6833 """
6834 Public method to check, if a language is supported by the 6834 Private method to check, if an editor is supported by the
6835 documentation viewer. 6835 documentation viewer.
6836 6836
6837 @param editor reference to the editor to check for 6837 @param editor reference to the editor to check for
6838 @type Editor 6838 @type Editor
6839 @return flag indicating the support status 6839 @return flag indicating the support status

eric ide

mercurial