comparison: eric6/Preferences/ConfigurationPages/EditorGeneralPage.ui
eric6/Preferences/ConfigurationPages/EditorGeneralPage.ui
- branch
- micropython
- changeset 7140
- 22f5fd76c10f
- parent 6942
- 2602857055c5
- child 7278
- 1820a0344b62
equal
deleted
inserted
replaced