Mercurial Repositories > Rope Refactoring / file comparison
comparison: RefactoringRope/Ui_HistoryDialog.py
RefactoringRope/Ui_HistoryDialog.py
- branch
- eric7
- changeset 423
- 9dfc89a5aadf
- parent 422
- f98253eed7f0
equal
deleted
inserted
replaced
| 422:f98253eed7f0 | 423:9dfc89a5aadf |
|---|---|
| 1 # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_plugins/Plugin_Refactoring_Rope/RefactoringRope/HistoryDialog.ui' | 1 # Form implementation generated from reading ui file 'RefactoringRope/HistoryDialog.ui' |
| 2 # | 2 # |
| 3 # Created by: PyQt6 UI code generator 6.3.1 | 3 # Created by: PyQt6 UI code generator 6.7.1 |
| 4 # | 4 # |
| 5 # WARNING: Any manual changes made to this file will be lost when pyuic6 is | 5 # WARNING: Any manual changes made to this file will be lost when pyuic6 is |
| 6 # run again. Do not edit this file unless you know what you are doing. | 6 # run again. Do not edit this file unless you know what you are doing. |
| 7 | 7 |
| 8 | 8 |
| 14 HistoryDialog.setObjectName("HistoryDialog") | 14 HistoryDialog.setObjectName("HistoryDialog") |
| 15 HistoryDialog.resize(800, 600) | 15 HistoryDialog.resize(800, 600) |
| 16 HistoryDialog.setSizeGripEnabled(True) | 16 HistoryDialog.setSizeGripEnabled(True) |
| 17 self.verticalLayout_3 = QtWidgets.QVBoxLayout(HistoryDialog) | 17 self.verticalLayout_3 = QtWidgets.QVBoxLayout(HistoryDialog) |
| 18 self.verticalLayout_3.setObjectName("verticalLayout_3") | 18 self.verticalLayout_3.setObjectName("verticalLayout_3") |
| 19 self.header = QtWidgets.QLabel(HistoryDialog) | 19 self.header = QtWidgets.QLabel(parent=HistoryDialog) |
| 20 self.header.setWordWrap(True) | 20 self.header.setWordWrap(True) |
| 21 self.header.setObjectName("header") | 21 self.header.setObjectName("header") |
| 22 self.verticalLayout_3.addWidget(self.header) | 22 self.verticalLayout_3.addWidget(self.header) |
| 23 self.splitter_2 = QtWidgets.QSplitter(HistoryDialog) | 23 self.splitter_2 = QtWidgets.QSplitter(parent=HistoryDialog) |
| 24 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) | 24 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
| 25 sizePolicy.setHorizontalStretch(0) | 25 sizePolicy.setHorizontalStretch(0) |
| 26 sizePolicy.setVerticalStretch(0) | 26 sizePolicy.setVerticalStretch(0) |
| 27 sizePolicy.setHeightForWidth(self.splitter_2.sizePolicy().hasHeightForWidth()) | 27 sizePolicy.setHeightForWidth(self.splitter_2.sizePolicy().hasHeightForWidth()) |
| 28 self.splitter_2.setSizePolicy(sizePolicy) | 28 self.splitter_2.setSizePolicy(sizePolicy) |
| 29 self.splitter_2.setOrientation(QtCore.Qt.Orientation.Horizontal) | 29 self.splitter_2.setOrientation(QtCore.Qt.Orientation.Horizontal) |
| 30 self.splitter_2.setObjectName("splitter_2") | 30 self.splitter_2.setObjectName("splitter_2") |
| 31 self.splitter = QtWidgets.QSplitter(self.splitter_2) | 31 self.splitter = QtWidgets.QSplitter(parent=self.splitter_2) |
| 32 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Expanding) | 32 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Expanding) |
| 33 sizePolicy.setHorizontalStretch(1) | 33 sizePolicy.setHorizontalStretch(1) |
| 34 sizePolicy.setVerticalStretch(0) | 34 sizePolicy.setVerticalStretch(0) |
| 35 sizePolicy.setHeightForWidth(self.splitter.sizePolicy().hasHeightForWidth()) | 35 sizePolicy.setHeightForWidth(self.splitter.sizePolicy().hasHeightForWidth()) |
| 36 self.splitter.setSizePolicy(sizePolicy) | 36 self.splitter.setSizePolicy(sizePolicy) |
| 37 self.splitter.setOrientation(QtCore.Qt.Orientation.Vertical) | 37 self.splitter.setOrientation(QtCore.Qt.Orientation.Vertical) |
| 38 self.splitter.setObjectName("splitter") | 38 self.splitter.setObjectName("splitter") |
| 39 self.widget = QtWidgets.QWidget(self.splitter) | 39 self.widget = QtWidgets.QWidget(parent=self.splitter) |
| 40 self.widget.setObjectName("widget") | 40 self.widget.setObjectName("widget") |
| 41 self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.widget) | 41 self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.widget) |
| 42 self.verticalLayout_2.setContentsMargins(0, 0, 0, 0) | 42 self.verticalLayout_2.setContentsMargins(0, 0, 0, 0) |
| 43 self.verticalLayout_2.setObjectName("verticalLayout_2") | 43 self.verticalLayout_2.setObjectName("verticalLayout_2") |
| 44 self.description = QtWidgets.QLabel(self.widget) | 44 self.description = QtWidgets.QLabel(parent=self.widget) |
| 45 self.description.setWordWrap(True) | 45 self.description.setWordWrap(True) |
| 46 self.description.setObjectName("description") | 46 self.description.setObjectName("description") |
| 47 self.verticalLayout_2.addWidget(self.description) | 47 self.verticalLayout_2.addWidget(self.description) |
| 48 self.undoChangesList = QtWidgets.QListWidget(self.widget) | 48 self.undoChangesList = QtWidgets.QListWidget(parent=self.widget) |
| 49 self.undoChangesList.setAlternatingRowColors(True) | 49 self.undoChangesList.setAlternatingRowColors(True) |
| 50 self.undoChangesList.setObjectName("undoChangesList") | 50 self.undoChangesList.setObjectName("undoChangesList") |
| 51 self.verticalLayout_2.addWidget(self.undoChangesList) | 51 self.verticalLayout_2.addWidget(self.undoChangesList) |
| 52 self.widget1 = QtWidgets.QWidget(self.splitter) | 52 self.widget1 = QtWidgets.QWidget(parent=self.splitter) |
| 53 self.widget1.setObjectName("widget1") | 53 self.widget1.setObjectName("widget1") |
| 54 self.verticalLayout = QtWidgets.QVBoxLayout(self.widget1) | 54 self.verticalLayout = QtWidgets.QVBoxLayout(self.widget1) |
| 55 self.verticalLayout.setContentsMargins(0, 0, 0, 0) | 55 self.verticalLayout.setContentsMargins(0, 0, 0, 0) |
| 56 self.verticalLayout.setObjectName("verticalLayout") | 56 self.verticalLayout.setObjectName("verticalLayout") |
| 57 self.description_2 = QtWidgets.QLabel(self.widget1) | 57 self.description_2 = QtWidgets.QLabel(parent=self.widget1) |
| 58 self.description_2.setWordWrap(True) | 58 self.description_2.setWordWrap(True) |
| 59 self.description_2.setObjectName("description_2") | 59 self.description_2.setObjectName("description_2") |
| 60 self.verticalLayout.addWidget(self.description_2) | 60 self.verticalLayout.addWidget(self.description_2) |
| 61 self.redoChangesList = QtWidgets.QListWidget(self.widget1) | 61 self.redoChangesList = QtWidgets.QListWidget(parent=self.widget1) |
| 62 self.redoChangesList.setAlternatingRowColors(True) | 62 self.redoChangesList.setAlternatingRowColors(True) |
| 63 self.redoChangesList.setObjectName("redoChangesList") | 63 self.redoChangesList.setObjectName("redoChangesList") |
| 64 self.verticalLayout.addWidget(self.redoChangesList) | 64 self.verticalLayout.addWidget(self.redoChangesList) |
| 65 self.previewEdit = QtWidgets.QTextEdit(self.splitter_2) | 65 self.previewEdit = QtWidgets.QTextEdit(parent=self.splitter_2) |
| 66 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) | 66 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
| 67 sizePolicy.setHorizontalStretch(2) | 67 sizePolicy.setHorizontalStretch(2) |
| 68 sizePolicy.setVerticalStretch(0) | 68 sizePolicy.setVerticalStretch(0) |
| 69 sizePolicy.setHeightForWidth(self.previewEdit.sizePolicy().hasHeightForWidth()) | 69 sizePolicy.setHeightForWidth(self.previewEdit.sizePolicy().hasHeightForWidth()) |
| 70 self.previewEdit.setSizePolicy(sizePolicy) | 70 self.previewEdit.setSizePolicy(sizePolicy) |
| 71 self.previewEdit.setTabChangesFocus(True) | 71 self.previewEdit.setTabChangesFocus(True) |
| 72 self.previewEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap) | 72 self.previewEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap) |
| 73 self.previewEdit.setReadOnly(True) | 73 self.previewEdit.setReadOnly(True) |
| 74 self.previewEdit.setObjectName("previewEdit") | 74 self.previewEdit.setObjectName("previewEdit") |
| 75 self.verticalLayout_3.addWidget(self.splitter_2) | 75 self.verticalLayout_3.addWidget(self.splitter_2) |
| 76 self.buttonBox = QtWidgets.QDialogButtonBox(HistoryDialog) | 76 self.buttonBox = QtWidgets.QDialogButtonBox(parent=HistoryDialog) |
| 77 self.buttonBox.setOrientation(QtCore.Qt.Orientation.Horizontal) | 77 self.buttonBox.setOrientation(QtCore.Qt.Orientation.Horizontal) |
| 78 self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.StandardButton.Close) | 78 self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.StandardButton.Close) |
| 79 self.buttonBox.setObjectName("buttonBox") | 79 self.buttonBox.setObjectName("buttonBox") |
| 80 self.verticalLayout_3.addWidget(self.buttonBox) | 80 self.verticalLayout_3.addWidget(self.buttonBox) |
| 81 | 81 |
| 91 HistoryDialog.setWindowTitle(_translate("HistoryDialog", "Refactoring History")) | 91 HistoryDialog.setWindowTitle(_translate("HistoryDialog", "Refactoring History")) |
| 92 self.description.setText(_translate("HistoryDialog", "Undo History")) | 92 self.description.setText(_translate("HistoryDialog", "Undo History")) |
| 93 self.undoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right")) | 93 self.undoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right")) |
| 94 self.description_2.setText(_translate("HistoryDialog", "Redo History")) | 94 self.description_2.setText(_translate("HistoryDialog", "Redo History")) |
| 95 self.redoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right")) | 95 self.redoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right")) |
| 96 | |
| 97 | |
| 98 if __name__ == "__main__": | |
| 99 import sys | |
| 100 app = QtWidgets.QApplication(sys.argv) | |
| 101 HistoryDialog = QtWidgets.QDialog() | |
| 102 ui = Ui_HistoryDialog() | |
| 103 ui.setupUi(HistoryDialog) | |
| 104 HistoryDialog.show() | |
| 105 sys.exit(app.exec()) |
