Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 2074
5cb87968aad5
parent 1509
c0b5e693b0eb
child 2094
88620e11c67c
child 2303
0ed4ed026c16

eric ide

mercurial