eric6/Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 7598
6bb50f2a1df2
parent 7360
9190402e4505
child 7628
f904d0eef264

eric ide

mercurial