Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

changeset 5888
f23f3d2b7516
parent 5736
000ea446ff4b
child 5976
549918576245

eric ide

mercurial