eric6/Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 7229
53054eb5b15a
parent 7198
684261ef2165
child 7360
9190402e4505
equal deleted inserted replaced
7228:6037ddba57aa 7229:53054eb5b15a
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 9
10 from __future__ import unicode_literals
11 10
12 import os 11 import os
13 12
14 from pygments.lexers import get_all_lexers 13 from pygments.lexers import get_all_lexers
15 14

eric ide

mercurial