--- a/eric7/Preferences/__init__.py Sat Sep 11 19:40:25 2021 +0200 +++ b/eric7/Preferences/__init__.py Sat Sep 11 19:47:02 2021 +0200 @@ -1506,6 +1506,18 @@ "DisViewerLabeledColor": QColor(Qt.GlobalColor.darkGreen), "DisViewerExpandCodeInfoDetails": False, } + + # defaults for the jedi interface + jediDefaults = { + "JediCompletionsEnabled": True, + "JediFuzzyCompletionsEnabled": False, + + "JediCalltipsEnabled": True, + + "MouseClickEnabled": True, + "MouseClickGotoModifiers": Qt.KeyboardModifier.ControlModifier, + "MouseClickGotoButton": Qt.MouseButton.LeftButton, + } def readToolGroups(): @@ -3481,7 +3493,7 @@ def setMicroPython(key, value): """ - Module function to store the pip MicroPython settings. + Module function to store the MicroPython settings. @param key the key of the setting to be set @param value the value to be set @@ -3496,6 +3508,37 @@ value) +def getJedi(key): + """ + Function to retrieve the Jedi Assistant related settings. + + @param key the key of the value to get + @type str + @return the requested jedi assistant setting + @rtype Any + """ + if key in ["JediCompletionsEnabled", "JediFuzzyCompletionsEnabled", + "JediCalltipsEnabled", "MouseClickEnabled"]: + return toBool(Prefs.settings.value( + "AssistantJedi/" + key, Prefs.jediDefaults[key])) + else: + return Prefs.settings.value( + "AssistantJedi/" + key, Prefs.jediDefaults[key]) + + +def setJedi(key, value): + """ + Public method to store the various refactoring settings. + + @param key the key of the setting to be set + @type str + @param value the value to be set + @type Any + """ + Prefs.settings.setValue( + "AssistantJedi/" + key, value) + + def getGeometry(key): """ Module function to retrieve the display geometry.