comparison: Preferences/ConfigurationPages/EditorHighlightersPage.py
Preferences/ConfigurationPages/EditorHighlightersPage.py
- changeset 24
- 9233b51b54d1
- parent 13
- 1af94a91f439
- child 564
- b3d966393ba9
- child 691
- e4b2b0a27b4c
equal
deleted
inserted
replaced