src/eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.py

branch
server
changeset 10766
d35d6f96c24b
parent 10683
779cda568acb
child 11006
a671918232f3
equal deleted inserted replaced
10765:b0632e55ec9a 10766:d35d6f96c24b

eric ide

mercurial