eric6/Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 7780
41420f82c0ac
parent 7360
9190402e4505
child 7923
91e843545d9a
equal deleted inserted replaced
7779:757334671130 7780:41420f82c0ac
4 # 4 #
5 5
6 """ 6 """
7 Module implementing the Editor Properties configuration page. 7 Module implementing the Editor Properties configuration page.
8 """ 8 """
9
10 9
11 from .ConfigurationPageBase import ConfigurationPageBase 10 from .ConfigurationPageBase import ConfigurationPageBase
12 from .Ui_EditorPropertiesPage import Ui_EditorPropertiesPage 11 from .Ui_EditorPropertiesPage import Ui_EditorPropertiesPage
13 12
14 import Preferences 13 import Preferences

eric ide

mercurial