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