--- a/src/eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py Wed Jul 13 11:16:20 2022 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py Wed Jul 13 14:55:47 2022 +0200 @@ -7,9 +7,7 @@ Module implementing the Jedi Calltips configuration page. """ -from Preferences.ConfigurationPages.ConfigurationPageBase import ( - ConfigurationPageBase -) +from Preferences.ConfigurationPages.ConfigurationPageBase import ConfigurationPageBase from .Ui_EditorCallTipsJediPage import Ui_EditorCallTipsJediPage import Preferences @@ -19,6 +17,7 @@ """ Class implementing the Jedi Calltips configuration page. """ + def __init__(self): """ Constructor @@ -26,23 +25,23 @@ super().__init__() self.setupUi(self) self.setObjectName("EditorCallTipsJediPage") - + # set initial values - self.jediCalltipsCheckBox.setChecked( - Preferences.getJedi("JediCalltipsEnabled")) - + self.jediCalltipsCheckBox.setChecked(Preferences.getJedi("JediCalltipsEnabled")) + def save(self): """ Public slot to save the Jedi Calltips configuration. """ Preferences.setJedi( - "JediCalltipsEnabled", self.jediCalltipsCheckBox.isChecked()) + "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) """