diff -r 3fc8dfeb6ebe -r b99e7fd55fd3 src/eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py Thu Jul 07 11:23:56 2022 +0200
@@ -0,0 +1,50 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2015 - 2022 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
