28 """ |
28 """ |
29 Constructor |
29 Constructor |
30 |
30 |
31 @param lexers reference to the lexers dictionary |
31 @param lexers reference to the lexers dictionary |
32 """ |
32 """ |
33 ConfigurationPageBase.__init__(self) |
33 super().__init__() |
34 self.setupUi(self) |
34 self.setupUi(self) |
35 self.setObjectName("EditorHighlightersPage") |
35 self.setObjectName("EditorHighlightersPage") |
36 |
36 |
37 self.editorLexerList.headerItem().setText(self.editorLexerList.columnCount(), "") |
37 self.editorLexerList.headerItem().setText(self.editorLexerList.columnCount(), "") |
38 header = self.editorLexerList.header() |
38 header = self.editorLexerList.header() |