comparison: eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.ui
eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.ui
- branch
- eric7
- changeset 9139
- 09f9c49c34bc
- parent 8593
- 1d66b6af60ed
equal
deleted
inserted
replaced