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