diff -r ab8580937d4b -r 1d66b6af60ed eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py Sat Sep 11 19:47:02 2021 +0200
@@ -0,0 +1,50 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2015 - 2021 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing the Jedi Calltips configuration page.
+"""
+
+from Preferences.ConfigurationPages.ConfigurationPageBase import (
+ ConfigurationPageBase
+)
+from .Ui_EditorCallTipsJediPage import Ui_EditorCallTipsJediPage
+
+import Preferences
+
+
+class EditorCallTipsJediPage(ConfigurationPageBase, Ui_EditorCallTipsJediPage):
+ """
+ Class implementing the Jedi Calltips configuration page.
+ """
+ def __init__(self):
+ """
+ Constructor
+ """
+ super().__init__()
+ self.setupUi(self)
+ self.setObjectName("EditorCallTipsJediPage")
+
+ # set initial values
+ self.jediCalltipsCheckBox.setChecked(
+ Preferences.getJedi("JediCalltipsEnabled"))
+
+ def save(self):
+ """
+ Public slot to save the Jedi Calltips configuration.
+ """
+ Preferences.setJedi(
+ "JediCalltipsEnabled", self.jediCalltipsCheckBox.isChecked())
+
+
+def create(dlg):
+ """
+ Module function to create the configuration page.
+
+ @param dlg reference to the configuration dialog
+ @return reference to the instantiated page (ConfigurationPageBase)
+ """
+ page = EditorCallTipsJediPage()
+ return page
