comparison: eric6/Preferences/ConfigurationPages/EditorPropertiesPage.py
eric6/Preferences/ConfigurationPages/EditorPropertiesPage.py
- branch
- micropython
- changeset 7144
- de779a22396a
- parent 6942
- 2602857055c5
- child 7202
- d2f2a1fe0129
equal
deleted
inserted
replaced