Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 40
c2e5472b112c
parent 13
1af94a91f439
child 564
b3d966393ba9
child 691
e4b2b0a27b4c
equal deleted inserted replaced
39:ce735122a1fb 40:c2e5472b112c

eric ide

mercurial