comparison: eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py
eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py
- branch
- eric7
- changeset 8337
- 6e2ca14e0dba
- parent 8324
- 83084f088655
- child 8507
- 2a22d0880d21
equal
deleted
inserted
replaced