comparison: Preferences/ConfigurationPages/EditorHighlightersPage.py
Preferences/ConfigurationPages/EditorHighlightersPage.py
- changeset 1852
- 12d37ab1baf3
- parent 1509
- c0b5e693b0eb
- child 2094
- 88620e11c67c
- child 2303
- 0ed4ed026c16
equal
deleted
inserted
replaced