Preferences/ConfigurationPages/EditorHighlightersPage.py

branch
Py2 comp.
changeset 2525
8b507a9a2d40
parent 2302
f29e9405c851
child 3057
10516539f238
equal deleted inserted replaced
2523:139f182b72f6 2525:8b507a9a2d40
4 # 4 #
5 5
6 """ 6 """
7 Module implementing the Editor Highlighter Associations configuration page. 7 Module implementing the Editor Highlighter Associations configuration page.
8 """ 8 """
9
10 from __future__ import unicode_literals # __IGNORE_WARNING__
9 11
10 import os 12 import os
11 13
12 from pygments.lexers import get_all_lexers 14 from pygments.lexers import get_all_lexers
13 15
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()

eric ide

mercurial