eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py

branch
eric7
changeset 8327
666c2b81cbb7
parent 8324
83084f088655
child 8507
2a22d0880d21
equal deleted inserted replaced
8325:547319e56c60 8327:666c2b81cbb7

eric ide

mercurial