Preferences/ConfigurationPages/EditorTypingPage.py

changeset 1131
7781e396c903
parent 945
8cd4d08fa9f6
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1130:3e9f0330f833 1131:7781e396c903
21 """ 21 """
22 def __init__(self): 22 def __init__(self):
23 """ 23 """
24 Constructor 24 Constructor
25 """ 25 """
26 ConfigurationPageBase.__init__(self) 26 super().__init__()
27 self.setupUi(self) 27 self.setupUi(self)
28 self.setObjectName("EditorTypingPage") 28 self.setObjectName("EditorTypingPage")
29 29
30 # set initial values 30 # set initial values
31 self.pageIds = {} 31 self.pageIds = {}

eric ide

mercurial