comparison: src/eric7/Preferences/ConfigurationPages/EditorFilePage.ui
src/eric7/Preferences/ConfigurationPages/EditorFilePage.ui
- branch
- eric7
- changeset 10257
- 904c71a0e37f
- parent 9405
- 99e65bd24e7d
- child 10307
- c685f4e12916
equal
deleted
inserted
replaced