5 |
5 |
6 """ |
6 """ |
7 Module implementing the Jedi Calltips configuration page. |
7 Module implementing the Jedi Calltips configuration page. |
8 """ |
8 """ |
9 |
9 |
10 from Preferences.ConfigurationPages.ConfigurationPageBase import ConfigurationPageBase |
10 from eric7.Preferences.ConfigurationPages.ConfigurationPageBase import ( |
|
11 ConfigurationPageBase, |
|
12 ) |
11 from .Ui_EditorCallTipsJediPage import Ui_EditorCallTipsJediPage |
13 from .Ui_EditorCallTipsJediPage import Ui_EditorCallTipsJediPage |
12 |
14 |
13 import Preferences |
15 from eric7 import Preferences |
14 |
16 |
15 |
17 |
16 class EditorCallTipsJediPage(ConfigurationPageBase, Ui_EditorCallTipsJediPage): |
18 class EditorCallTipsJediPage(ConfigurationPageBase, Ui_EditorCallTipsJediPage): |
17 """ |
19 """ |
18 Class implementing the Jedi Calltips configuration page. |
20 Class implementing the Jedi Calltips configuration page. |