eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py

branch
eric7
changeset 8337
6e2ca14e0dba
parent 8324
83084f088655
child 8507
2a22d0880d21

eric ide

mercurial