comparison: Preferences/ConfigurationPages/EditorHighlightersPage.py
Preferences/ConfigurationPages/EditorHighlightersPage.py
- changeset 939
- 10d3a201cd27
- parent 791
- 9ec2ac20e54e
- child 945
- 8cd4d08fa9f6
- child 1510
- e75ecf2bd9dd
equal
deleted
inserted
replaced