comparison: eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py
eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py
- branch
- eric7
- changeset 8863
- 03e7c23a05b1
- parent 8507
- 2a22d0880d21
- child 8881
- 54e42bc2437a
equal
deleted
inserted
replaced