comparison: src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py
src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py
- branch
- eric7
- changeset 10517
- aecd5a8c958c
- parent 10482
- 72d9b5ea39b4
- child 10595
- 59579e8aff98
equal
deleted
inserted
replaced