comparison: eric6/Preferences/ConfigurationPages/EditorTypingPage.ui
eric6/Preferences/ConfigurationPages/EditorTypingPage.ui
- branch
- micropython
- changeset 7144
- de779a22396a
- parent 6997
- 24eabcea4c59
- child 7281
- 8087ef6df2e4
equal
deleted
inserted
replaced