src/eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.py

branch
eric7
changeset 10837
40cdaa4a847d
parent 10683
779cda568acb
child 11006
a671918232f3
equal deleted inserted replaced
10836:dc7f25f2f7e4 10837:40cdaa4a847d

eric ide

mercurial