comparison: Preferences/ConfigurationPages/DebuggerGeneralPage.py
Preferences/ConfigurationPages/DebuggerGeneralPage.py
- changeset 1131
- 7781e396c903
- parent 1112
- 8a7d1b9d18db
- child 1184
- a9ce179c7c94
equal
deleted
inserted
replaced
30 """ |
30 """ |
31 def __init__(self): |
31 def __init__(self): |
32 """ |
32 """ |
33 Constructor |
33 Constructor |
34 """ |
34 """ |
35 ConfigurationPageBase.__init__(self) |
35 super().__init__() |
36 self.setupUi(self) |
36 self.setupUi(self) |
37 self.setObjectName("DebuggerGeneralPage") |
37 self.setObjectName("DebuggerGeneralPage") |
38 |
38 |
39 t = self.execLineEdit.whatsThis() |
39 t = self.execLineEdit.whatsThis() |
40 if t: |
40 if t: |