comparison: Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui
Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui
- branch
- APIs
- changeset 5349
- bccda3b5920a
- parent 4698
- 61c0aef6a570
- child 6862
- 6f4237ccf576
equal
deleted
inserted
replaced