comparison: eric6/Preferences/ConfigurationPages/EditorHighlightersPage.py
eric6/Preferences/ConfigurationPages/EditorHighlightersPage.py
- changeset 7780
- 41420f82c0ac
- parent 7628
- f904d0eef264
- child 7923
- 91e843545d9a
equal
deleted
inserted
replaced
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 |
9 |
11 import os |
10 import os |
12 |
11 |
13 from pygments.lexers import get_all_lexers |
12 from pygments.lexers import get_all_lexers |
14 |
13 |