comparison: eric6/Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui
eric6/Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui
- changeset 7628
- f904d0eef264
- parent 7537
- 4e2d6b12f67c
- child 7749
- 285855999b4e
equal
deleted
inserted
replaced