src/eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py

branch
eric7
changeset 10069
435cc5875135
parent 9653
e67609152c5e
child 10428
a071d4065202
equal deleted inserted replaced
10068:7febcdccb2a1 10069:435cc5875135
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): 43 def create(dlg): # noqa: U100
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
48 @return reference to the instantiated page (ConfigurationPageBase) 48 @return reference to the instantiated page (ConfigurationPageBase)

eric ide

mercurial