Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 2224
c681f765d64d
parent 2094
88620e11c67c
child 2302
f29e9405c851
equal deleted inserted replaced
2223:054c285dab38 2224:c681f765d64d

eric ide

mercurial