Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

changeset 5798
e4f9552f7f93
parent 5736
000ea446ff4b
child 5976
549918576245

eric ide

mercurial