src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py

branch
eric7
changeset 9413
80c06d472826
parent 9221
bf71ee032bb4
child 9473
3f23dbf37dbe
equal deleted inserted replaced
9412:45e7bb09c120 9413:80c06d472826
10 from PyQt6.Qsci import QsciLexerPython 10 from PyQt6.Qsci import QsciLexerPython
11 11
12 from .ConfigurationPageBase import ConfigurationPageBase 12 from .ConfigurationPageBase import ConfigurationPageBase
13 from .Ui_EditorPropertiesPage import Ui_EditorPropertiesPage 13 from .Ui_EditorPropertiesPage import Ui_EditorPropertiesPage
14 14
15 import Preferences 15 from eric7 import Preferences
16 16
17 17
18 class EditorPropertiesPage(ConfigurationPageBase, Ui_EditorPropertiesPage): 18 class EditorPropertiesPage(ConfigurationPageBase, Ui_EditorPropertiesPage):
19 """ 19 """
20 Class implementing the Editor Properties configuration page. 20 Class implementing the Editor Properties configuration page.

eric ide

mercurial