Sat, 26 Oct 2024 15:50:43 +0200
- change to the new style header
- included the compiled form files
422
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
1 | # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_plugins/Plugin_Refactoring_Rope/RefactoringRope/HistoryDialog.ui' |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
2 | # |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
3 | # Created by: PyQt6 UI code generator 6.3.1 |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
4 | # |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
5 | # WARNING: Any manual changes made to this file will be lost when pyuic6 is |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
6 | # run again. Do not edit this file unless you know what you are doing. |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
7 | |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
8 | |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
9 | from PyQt6 import QtCore, QtGui, QtWidgets |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
10 | |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
11 | |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
12 | class Ui_HistoryDialog(object): |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
13 | def setupUi(self, HistoryDialog): |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
14 | HistoryDialog.setObjectName("HistoryDialog") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
15 | HistoryDialog.resize(800, 600) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
16 | HistoryDialog.setSizeGripEnabled(True) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
17 | self.verticalLayout_3 = QtWidgets.QVBoxLayout(HistoryDialog) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
18 | self.verticalLayout_3.setObjectName("verticalLayout_3") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
19 | self.header = QtWidgets.QLabel(HistoryDialog) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
20 | self.header.setWordWrap(True) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
21 | self.header.setObjectName("header") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
22 | self.verticalLayout_3.addWidget(self.header) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
23 | self.splitter_2 = QtWidgets.QSplitter(HistoryDialog) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
24 | sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
25 | sizePolicy.setHorizontalStretch(0) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
26 | sizePolicy.setVerticalStretch(0) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
27 | sizePolicy.setHeightForWidth(self.splitter_2.sizePolicy().hasHeightForWidth()) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
28 | self.splitter_2.setSizePolicy(sizePolicy) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
29 | self.splitter_2.setOrientation(QtCore.Qt.Orientation.Horizontal) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
30 | self.splitter_2.setObjectName("splitter_2") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
31 | self.splitter = QtWidgets.QSplitter(self.splitter_2) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
32 | sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Expanding) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
33 | sizePolicy.setHorizontalStretch(1) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
34 | sizePolicy.setVerticalStretch(0) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
35 | sizePolicy.setHeightForWidth(self.splitter.sizePolicy().hasHeightForWidth()) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
36 | self.splitter.setSizePolicy(sizePolicy) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
37 | self.splitter.setOrientation(QtCore.Qt.Orientation.Vertical) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
38 | self.splitter.setObjectName("splitter") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
39 | self.widget = QtWidgets.QWidget(self.splitter) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
40 | self.widget.setObjectName("widget") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
41 | self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.widget) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
42 | self.verticalLayout_2.setContentsMargins(0, 0, 0, 0) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
43 | self.verticalLayout_2.setObjectName("verticalLayout_2") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
44 | self.description = QtWidgets.QLabel(self.widget) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
45 | self.description.setWordWrap(True) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
46 | self.description.setObjectName("description") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
47 | self.verticalLayout_2.addWidget(self.description) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
48 | self.undoChangesList = QtWidgets.QListWidget(self.widget) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
49 | self.undoChangesList.setAlternatingRowColors(True) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
50 | self.undoChangesList.setObjectName("undoChangesList") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
51 | self.verticalLayout_2.addWidget(self.undoChangesList) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
52 | self.widget1 = QtWidgets.QWidget(self.splitter) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
53 | self.widget1.setObjectName("widget1") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
54 | self.verticalLayout = QtWidgets.QVBoxLayout(self.widget1) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
55 | self.verticalLayout.setContentsMargins(0, 0, 0, 0) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
56 | self.verticalLayout.setObjectName("verticalLayout") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
57 | self.description_2 = QtWidgets.QLabel(self.widget1) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
58 | self.description_2.setWordWrap(True) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
59 | self.description_2.setObjectName("description_2") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
60 | self.verticalLayout.addWidget(self.description_2) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
61 | self.redoChangesList = QtWidgets.QListWidget(self.widget1) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
62 | self.redoChangesList.setAlternatingRowColors(True) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
63 | self.redoChangesList.setObjectName("redoChangesList") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
64 | self.verticalLayout.addWidget(self.redoChangesList) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
65 | self.previewEdit = QtWidgets.QTextEdit(self.splitter_2) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
66 | sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
67 | sizePolicy.setHorizontalStretch(2) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
68 | sizePolicy.setVerticalStretch(0) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
69 | sizePolicy.setHeightForWidth(self.previewEdit.sizePolicy().hasHeightForWidth()) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
70 | self.previewEdit.setSizePolicy(sizePolicy) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
71 | self.previewEdit.setTabChangesFocus(True) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
72 | self.previewEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
73 | self.previewEdit.setReadOnly(True) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
74 | self.previewEdit.setObjectName("previewEdit") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
75 | self.verticalLayout_3.addWidget(self.splitter_2) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
76 | self.buttonBox = QtWidgets.QDialogButtonBox(HistoryDialog) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
77 | self.buttonBox.setOrientation(QtCore.Qt.Orientation.Horizontal) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
78 | self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.StandardButton.Close) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
79 | self.buttonBox.setObjectName("buttonBox") |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
80 | self.verticalLayout_3.addWidget(self.buttonBox) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
81 | |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
82 | self.retranslateUi(HistoryDialog) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
83 | self.buttonBox.accepted.connect(HistoryDialog.accept) # type: ignore |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
84 | self.buttonBox.rejected.connect(HistoryDialog.reject) # type: ignore |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
85 | QtCore.QMetaObject.connectSlotsByName(HistoryDialog) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
86 | HistoryDialog.setTabOrder(self.undoChangesList, self.redoChangesList) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
87 | HistoryDialog.setTabOrder(self.redoChangesList, self.previewEdit) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
88 | |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
89 | def retranslateUi(self, HistoryDialog): |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
90 | _translate = QtCore.QCoreApplication.translate |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
91 | HistoryDialog.setWindowTitle(_translate("HistoryDialog", "Refactoring History")) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
92 | self.description.setText(_translate("HistoryDialog", "Undo History")) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
93 | self.undoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right")) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
94 | self.description_2.setText(_translate("HistoryDialog", "Redo History")) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
95 | self.redoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right")) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
96 | |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
97 | |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
98 | if __name__ == "__main__": |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
99 | import sys |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
100 | app = QtWidgets.QApplication(sys.argv) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
101 | HistoryDialog = QtWidgets.QDialog() |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
102 | ui = Ui_HistoryDialog() |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
103 | ui.setupUi(HistoryDialog) |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
104 | HistoryDialog.show() |
f98253eed7f0
- change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff
changeset
|
105 | sys.exit(app.exec()) |