eric6/Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 7536
861e46f99d65
parent 7360
9190402e4505
child 7628
f904d0eef264

eric ide

mercurial