Preferences/ConfigurationPages/EditorHighlightingStylesPage.py

changeset 5828
c8deff89c20c
parent 5736
000ea446ff4b
child 5976
549918576245

eric ide

mercurial