Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 1131
7781e396c903
parent 945
8cd4d08fa9f6
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1130:3e9f0330f833 1131:7781e396c903
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()

eric ide

mercurial