eric6/Preferences/ConfigurationPages/EditorSearchPage.py

changeset 8218
7c09585bd960
parent 7923
91e843545d9a
child 8234
fcb6b4b96274
equal deleted inserted replaced
8217:385f60c94548 8218:7c09585bd960
19 """ 19 """
20 def __init__(self): 20 def __init__(self):
21 """ 21 """
22 Constructor 22 Constructor
23 """ 23 """
24 super(EditorSearchPage, self).__init__() 24 super().__init__()
25 self.setupUi(self) 25 self.setupUi(self)
26 self.setObjectName("EditorSearchPage") 26 self.setObjectName("EditorSearchPage")
27 27
28 self.editorColours = {} 28 self.editorColours = {}
29 29

eric ide

mercurial