Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 2074
5cb87968aad5
parent 1509
c0b5e693b0eb
child 2094
88620e11c67c
child 2303
0ed4ed026c16
equal deleted inserted replaced
2071:136eb25e4314 2074:5cb87968aad5

eric ide

mercurial