eric6/Preferences/ConfigurationPages/EditorTypingPage.py

changeset 8218
7c09585bd960
parent 8151
8c1445825e7b
equal deleted inserted replaced
8217:385f60c94548 8218:7c09585bd960
21 """ 21 """
22 def __init__(self): 22 def __init__(self):
23 """ 23 """
24 Constructor 24 Constructor
25 """ 25 """
26 super(EditorTypingPage, self).__init__() 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