eric: File revisions

eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.py

Sat, 11 Sep 2021 19:47:02 +0200

Detlev Offenbach

Jedi: integrated the Assistant Jedi plugin as a fixed part of eric. eric7

file | diff | annotate

(0) tip