eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.ui

branch
eric7
changeset 9139
09f9c49c34bc
parent 8593
1d66b6af60ed

eric ide

mercurial