Mercurial Repositories > eric / file comparison
comparison: src/eric7/UI/UserInterface.py
src/eric7/UI/UserInterface.py
- branch
- eric7-maintenance
- changeset 9940
- a57c188857e9
- parent 9832
- 3885b9d7bd31
- parent 9938
- b8005dd4fc9b
- child 9948
- a6ec52ed5c99
equal
deleted
inserted
replaced
| 9833:9308099b7d38 | 9940:a57c188857e9 |
|---|---|
| 1012 leftWidget = QWidget() | 1012 leftWidget = QWidget() |
| 1013 layout = QVBoxLayout() | 1013 layout = QVBoxLayout() |
| 1014 layout.setContentsMargins(1, 1, 1, 1) | 1014 layout.setContentsMargins(1, 1, 1, 1) |
| 1015 layout.setSpacing(1) | 1015 layout.setSpacing(1) |
| 1016 layout.addWidget(self.viewmanager.mainWidget()) | 1016 layout.addWidget(self.viewmanager.mainWidget()) |
| 1017 layout.addWidget(self.viewmanager.searchWidget()) | 1017 layout.addWidget(self.viewmanager.searchReplaceWidget()) |
| 1018 layout.addWidget(self.viewmanager.replaceWidget()) | |
| 1019 self.viewmanager.mainWidget().setSizePolicy( | 1018 self.viewmanager.mainWidget().setSizePolicy( |
| 1020 QSizePolicy.Policy.Preferred, QSizePolicy.Policy.Expanding | 1019 QSizePolicy.Policy.Preferred, QSizePolicy.Policy.Expanding |
| 1021 ) | 1020 ) |
| 1022 leftWidget.setLayout(layout) | 1021 leftWidget.setLayout(layout) |
| 1023 self.viewmanager.searchWidget().hide() | 1022 self.viewmanager.searchReplaceWidget().hide() |
| 1024 self.viewmanager.replaceWidget().hide() | |
| 1025 | 1023 |
| 1026 splitter = QSplitter(Qt.Orientation.Horizontal) | 1024 splitter = QSplitter(Qt.Orientation.Horizontal) |
| 1027 splitter.addWidget(leftWidget) | 1025 splitter.addWidget(leftWidget) |
| 1028 self.setCentralWidget(splitter) | 1026 self.setCentralWidget(splitter) |
| 1029 | 1027 |
| 5510 Public slot to activate the debug view profile. | 5508 Public slot to activate the debug view profile. |
| 5511 | 5509 |
| 5512 @param save flag indicating that the current profile should | 5510 @param save flag indicating that the current profile should |
| 5513 be saved (boolean) | 5511 be saved (boolean) |
| 5514 """ | 5512 """ |
| 5515 self.viewmanager.searchWidget().hide() | 5513 self.viewmanager.searchReplaceWidget().hide() |
| 5516 self.viewmanager.replaceWidget().hide() | |
| 5517 self.__activateViewProfile("debug", save) | 5514 self.__activateViewProfile("debug", save) |
| 5518 self.setDebugProfileAct.setChecked(True) | 5515 self.setDebugProfileAct.setChecked(True) |
| 5519 | 5516 |
| 5520 def getViewProfile(self): | 5517 def getViewProfile(self): |
| 5521 """ | 5518 """ |
