8 """ |
8 """ |
9 |
9 |
10 from .ConfigurationPageBase import ConfigurationPageBase |
10 from .ConfigurationPageBase import ConfigurationPageBase |
11 from .Ui_EditorSearchPage import Ui_EditorSearchPage |
11 from .Ui_EditorSearchPage import Ui_EditorSearchPage |
12 |
12 |
13 import Preferences |
13 from eric7 import Preferences |
14 |
14 |
15 |
15 |
16 class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage): |
16 class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage): |
17 """ |
17 """ |
18 Class implementing the Editor Search configuration page. |
18 Class implementing the Editor Search configuration page. |