8 """ |
8 """ |
9 |
9 |
10 import os |
10 import os |
11 |
11 |
12 from pygments.lexers import get_all_lexers |
12 from pygments.lexers import get_all_lexers |
13 |
|
14 from PyQt6.QtCore import Qt, pyqtSlot |
13 from PyQt6.QtCore import Qt, pyqtSlot |
15 from PyQt6.QtWidgets import QHeaderView, QTreeWidgetItem |
14 from PyQt6.QtWidgets import QHeaderView, QTreeWidgetItem |
16 |
15 |
|
16 from eric7 import Preferences |
|
17 from eric7.EricGui import EricPixmapCache |
|
18 |
17 from .ConfigurationPageBase import ConfigurationPageBase |
19 from .ConfigurationPageBase import ConfigurationPageBase |
18 from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage |
20 from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage |
19 |
|
20 from eric7 import Preferences |
|
21 from eric7.EricGui import EricPixmapCache |
|
22 |
21 |
23 |
22 |
24 class EditorHighlightersPage(ConfigurationPageBase, Ui_EditorHighlightersPage): |
23 class EditorHighlightersPage(ConfigurationPageBase, Ui_EditorHighlightersPage): |
25 """ |
24 """ |
26 Class implementing the Editor Highlighter Associations configuration page. |
25 Class implementing the Editor Highlighter Associations configuration page. |