eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py

branch
eric7
changeset 8863
03e7c23a05b1
parent 8507
2a22d0880d21
child 8881
54e42bc2437a

eric ide

mercurial