Preferences/ConfigurationPages/EditorCalltipsQScintillaPage.py

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

eric ide

mercurial