src/eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py

branch
eric7
changeset 10683
779cda568acb
parent 10439
21c28b0f9e41
child 11090
f5f5f5803935
equal deleted inserted replaced
10682:47be220abdaf 10683:779cda568acb
38 Preferences.setJedi( 38 Preferences.setJedi(
39 "JediCalltipsEnabled", self.jediCalltipsCheckBox.isChecked() 39 "JediCalltipsEnabled", self.jediCalltipsCheckBox.isChecked()
40 ) 40 )
41 41
42 42
43 def create(dlg): # noqa: U100 43 def create(_dlg):
44 """ 44 """
45 Module function to create the configuration page. 45 Module function to create the configuration page.
46 46
47 @param dlg reference to the configuration dialog 47 @param _dlg reference to the configuration dialog (unused)
48 @type ConfigurationDialog 48 @type ConfigurationDialog
49 @return reference to the instantiated page 49 @return reference to the instantiated page
50 @rtype ConfigurationPageBase 50 @rtype ConfigurationPageBase
51 """ 51 """
52 page = EditorCallTipsJediPage() 52 page = EditorCallTipsJediPage()

eric ide

mercurial