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