Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 3010
befeff46ec0f
parent 2964
84b65fb9e780
child 3025
67064c71df21
child 3057
10516539f238
equal deleted inserted replaced
3009:bf5ae5d7477d 3010:befeff46ec0f
32 """ 32 """
33 super().__init__() 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(
38 self.editorLexerList.columnCount(), "")
38 header = self.editorLexerList.header() 39 header = self.editorLexerList.header()
39 if qVersion() >= "5.0.0": 40 if qVersion() >= "5.0.0":
40 header.setSectionResizeMode(QHeaderView.ResizeToContents) 41 header.setSectionResizeMode(QHeaderView.ResizeToContents)
41 else: 42 else:
42 header.setResizeMode(QHeaderView.ResizeToContents) 43 header.setResizeMode(QHeaderView.ResizeToContents)

eric ide

mercurial