comparison: Preferences/ConfigurationPages/EditorPropertiesPage.py
Preferences/ConfigurationPages/EditorPropertiesPage.py
- changeset 1852
- 12d37ab1baf3
- parent 1509
- c0b5e693b0eb
- child 2261
- f4bb5648fc29
- child 2303
- 0ed4ed026c16
equal
deleted
inserted
replaced