RefactoringRope/Ui_HistoryDialog.py

Sat, 26 Oct 2024 15:50:43 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 26 Oct 2024 15:50:43 +0200
branch
eric7
changeset 422
f98253eed7f0
child 423
9dfc89a5aadf
permissions
-rw-r--r--

- 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())

eric ide

mercurial