Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 4348
fcb65da90a07
parent 4021
195a471c327b
child 4554
f3428ddd577c
child 4632
ca310db386ed

eric ide

mercurial