comparison: eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.ui
eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.ui
- branch
- eric7
- changeset 8863
- 03e7c23a05b1
- parent 8593
- 1d66b6af60ed
equal
deleted
inserted
replaced