|
1 # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_plugins/Plugin_Refactoring_Rope/RefactoringRope/HistoryDialog.ui' |
|
2 # |
|
3 # Created by: PyQt6 UI code generator 6.3.1 |
|
4 # |
|
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. |
|
7 |
|
8 |
|
9 from PyQt6 import QtCore, QtGui, QtWidgets |
|
10 |
|
11 |
|
12 class Ui_HistoryDialog(object): |
|
13 def setupUi(self, HistoryDialog): |
|
14 HistoryDialog.setObjectName("HistoryDialog") |
|
15 HistoryDialog.resize(800, 600) |
|
16 HistoryDialog.setSizeGripEnabled(True) |
|
17 self.verticalLayout_3 = QtWidgets.QVBoxLayout(HistoryDialog) |
|
18 self.verticalLayout_3.setObjectName("verticalLayout_3") |
|
19 self.header = QtWidgets.QLabel(HistoryDialog) |
|
20 self.header.setWordWrap(True) |
|
21 self.header.setObjectName("header") |
|
22 self.verticalLayout_3.addWidget(self.header) |
|
23 self.splitter_2 = QtWidgets.QSplitter(HistoryDialog) |
|
24 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
|
25 sizePolicy.setHorizontalStretch(0) |
|
26 sizePolicy.setVerticalStretch(0) |
|
27 sizePolicy.setHeightForWidth(self.splitter_2.sizePolicy().hasHeightForWidth()) |
|
28 self.splitter_2.setSizePolicy(sizePolicy) |
|
29 self.splitter_2.setOrientation(QtCore.Qt.Orientation.Horizontal) |
|
30 self.splitter_2.setObjectName("splitter_2") |
|
31 self.splitter = QtWidgets.QSplitter(self.splitter_2) |
|
32 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Expanding) |
|
33 sizePolicy.setHorizontalStretch(1) |
|
34 sizePolicy.setVerticalStretch(0) |
|
35 sizePolicy.setHeightForWidth(self.splitter.sizePolicy().hasHeightForWidth()) |
|
36 self.splitter.setSizePolicy(sizePolicy) |
|
37 self.splitter.setOrientation(QtCore.Qt.Orientation.Vertical) |
|
38 self.splitter.setObjectName("splitter") |
|
39 self.widget = QtWidgets.QWidget(self.splitter) |
|
40 self.widget.setObjectName("widget") |
|
41 self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.widget) |
|
42 self.verticalLayout_2.setContentsMargins(0, 0, 0, 0) |
|
43 self.verticalLayout_2.setObjectName("verticalLayout_2") |
|
44 self.description = QtWidgets.QLabel(self.widget) |
|
45 self.description.setWordWrap(True) |
|
46 self.description.setObjectName("description") |
|
47 self.verticalLayout_2.addWidget(self.description) |
|
48 self.undoChangesList = QtWidgets.QListWidget(self.widget) |
|
49 self.undoChangesList.setAlternatingRowColors(True) |
|
50 self.undoChangesList.setObjectName("undoChangesList") |
|
51 self.verticalLayout_2.addWidget(self.undoChangesList) |
|
52 self.widget1 = QtWidgets.QWidget(self.splitter) |
|
53 self.widget1.setObjectName("widget1") |
|
54 self.verticalLayout = QtWidgets.QVBoxLayout(self.widget1) |
|
55 self.verticalLayout.setContentsMargins(0, 0, 0, 0) |
|
56 self.verticalLayout.setObjectName("verticalLayout") |
|
57 self.description_2 = QtWidgets.QLabel(self.widget1) |
|
58 self.description_2.setWordWrap(True) |
|
59 self.description_2.setObjectName("description_2") |
|
60 self.verticalLayout.addWidget(self.description_2) |
|
61 self.redoChangesList = QtWidgets.QListWidget(self.widget1) |
|
62 self.redoChangesList.setAlternatingRowColors(True) |
|
63 self.redoChangesList.setObjectName("redoChangesList") |
|
64 self.verticalLayout.addWidget(self.redoChangesList) |
|
65 self.previewEdit = QtWidgets.QTextEdit(self.splitter_2) |
|
66 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
|
67 sizePolicy.setHorizontalStretch(2) |
|
68 sizePolicy.setVerticalStretch(0) |
|
69 sizePolicy.setHeightForWidth(self.previewEdit.sizePolicy().hasHeightForWidth()) |
|
70 self.previewEdit.setSizePolicy(sizePolicy) |
|
71 self.previewEdit.setTabChangesFocus(True) |
|
72 self.previewEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap) |
|
73 self.previewEdit.setReadOnly(True) |
|
74 self.previewEdit.setObjectName("previewEdit") |
|
75 self.verticalLayout_3.addWidget(self.splitter_2) |
|
76 self.buttonBox = QtWidgets.QDialogButtonBox(HistoryDialog) |
|
77 self.buttonBox.setOrientation(QtCore.Qt.Orientation.Horizontal) |
|
78 self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.StandardButton.Close) |
|
79 self.buttonBox.setObjectName("buttonBox") |
|
80 self.verticalLayout_3.addWidget(self.buttonBox) |
|
81 |
|
82 self.retranslateUi(HistoryDialog) |
|
83 self.buttonBox.accepted.connect(HistoryDialog.accept) # type: ignore |
|
84 self.buttonBox.rejected.connect(HistoryDialog.reject) # type: ignore |
|
85 QtCore.QMetaObject.connectSlotsByName(HistoryDialog) |
|
86 HistoryDialog.setTabOrder(self.undoChangesList, self.redoChangesList) |
|
87 HistoryDialog.setTabOrder(self.redoChangesList, self.previewEdit) |
|
88 |
|
89 def retranslateUi(self, HistoryDialog): |
|
90 _translate = QtCore.QCoreApplication.translate |
|
91 HistoryDialog.setWindowTitle(_translate("HistoryDialog", "Refactoring History")) |
|
92 self.description.setText(_translate("HistoryDialog", "Undo History")) |
|
93 self.undoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right")) |
|
94 self.description_2.setText(_translate("HistoryDialog", "Redo History")) |
|
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()) |