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) |