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