comparison: eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py
eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py
- branch
- eric7
- changeset 8337
- 6e2ca14e0dba
- parent 8322
- b422b4e77d19
- child 8881
- 54e42bc2437a
equal
deleted
inserted
replaced