11 |
11 |
12 import os |
12 import os |
13 |
13 |
14 from pygments.lexers import get_all_lexers |
14 from pygments.lexers import get_all_lexers |
15 |
15 |
16 from PyQt5.QtCore import Qt, pyqtSlot, qVersion |
16 from PyQt5.QtCore import Qt, pyqtSlot |
17 from PyQt5.QtWidgets import QHeaderView, QTreeWidgetItem |
17 from PyQt5.QtWidgets import QHeaderView, QTreeWidgetItem |
18 |
18 |
19 from .ConfigurationPageBase import ConfigurationPageBase |
19 from .ConfigurationPageBase import ConfigurationPageBase |
20 from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage |
20 from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage |
21 |
21 |
22 import Preferences |
22 import Preferences |
|
23 from Globals import qVersionTuple |
23 |
24 |
24 |
25 |
25 class EditorHighlightersPage(ConfigurationPageBase, Ui_EditorHighlightersPage): |
26 class EditorHighlightersPage(ConfigurationPageBase, Ui_EditorHighlightersPage): |
26 """ |
27 """ |
27 Class implementing the Editor Highlighter Associations configuration page. |
28 Class implementing the Editor Highlighter Associations configuration page. |
37 self.setObjectName("EditorHighlightersPage") |
38 self.setObjectName("EditorHighlightersPage") |
38 |
39 |
39 self.editorLexerList.headerItem().setText( |
40 self.editorLexerList.headerItem().setText( |
40 self.editorLexerList.columnCount(), "") |
41 self.editorLexerList.columnCount(), "") |
41 header = self.editorLexerList.header() |
42 header = self.editorLexerList.header() |
42 if qVersion() >= "5.0.0": |
43 if qVersionTuple() >= (5, 0, 0): |
43 header.setSectionResizeMode(QHeaderView.ResizeToContents) |
44 header.setSectionResizeMode(QHeaderView.ResizeToContents) |
44 else: |
45 else: |
45 header.setResizeMode(QHeaderView.ResizeToContents) |
46 header.setResizeMode(QHeaderView.ResizeToContents) |
46 header.setSortIndicator(0, Qt.AscendingOrder) |
47 header.setSortIndicator(0, Qt.AscendingOrder) |
47 |
48 |