Thu, 25 May 2023 19:51:47 +0200
Corrected and checked some code style issues (unused function arguments).
# -*- coding: utf-8 -*- # Copyright (c) 2015 - 2023 Detlev Offenbach <detlev@die-offenbachs.de> # """ Module implementing the Jedi Calltips configuration page. """ from eric7 import Preferences from eric7.Preferences.ConfigurationPages.ConfigurationPageBase import ( ConfigurationPageBase, ) from .Ui_EditorCallTipsJediPage import Ui_EditorCallTipsJediPage 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): # noqa: U100 """ 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