eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py

branch
eric7
changeset 8337
6e2ca14e0dba
parent 8324
83084f088655
child 8507
2a22d0880d21
equal deleted inserted replaced
8336:d566c2970f39 8337:6e2ca14e0dba

eric ide

mercurial