Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 55
b5c84934de9c
parent 13
1af94a91f439
child 564
b3d966393ba9
child 691
e4b2b0a27b4c
equal deleted inserted replaced
54:31463df17fd5 55:b5c84934de9c

eric ide

mercurial