Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 537
72b32daeb8d6
parent 13
1af94a91f439
child 564
b3d966393ba9
child 691
e4b2b0a27b4c
equal deleted inserted replaced
536:6d8d39753c82 537:72b32daeb8d6

eric ide

mercurial