Preferences/ConfigurationPages/EditorSearchPage.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("EditorSearchPage") 28 self.setObjectName("EditorSearchPage")
29 29
30 self.editorColours = {} 30 self.editorColours = {}
31 31

eric ide

mercurial