RefactoringRope/Ui_HistoryDialog.py

Sat, 26 Oct 2024 15:54:44 +0200

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

Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.

423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
1 # Form implementation generated from reading ui file 'RefactoringRope/HistoryDialog.ui'
422
f98253eed7f0 - change to the new style header
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
diff changeset
2 #
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
3 # Created by: PyQt6 UI code generator 6.7.1
422
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")
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
19 self.header = QtWidgets.QLabel(parent=HistoryDialog)
422
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)
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
23 self.splitter_2 = QtWidgets.QSplitter(parent=HistoryDialog)
422
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")
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
31 self.splitter = QtWidgets.QSplitter(parent=self.splitter_2)
422
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")
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
39 self.widget = QtWidgets.QWidget(parent=self.splitter)
422
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")
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
44 self.description = QtWidgets.QLabel(parent=self.widget)
422
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)
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
48 self.undoChangesList = QtWidgets.QListWidget(parent=self.widget)
422
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)
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
52 self.widget1 = QtWidgets.QWidget(parent=self.splitter)
422
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")
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
57 self.description_2 = QtWidgets.QLabel(parent=self.widget1)
422
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)
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
61 self.redoChangesList = QtWidgets.QListWidget(parent=self.widget1)
422
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)
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
65 self.previewEdit = QtWidgets.QTextEdit(parent=self.splitter_2)
422
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)
423
9dfc89a5aadf Recompiled the forms and made some modal dialog usages clearer with respect to parent relationship.
Detlev Offenbach <detlev@die-offenbachs.de>
parents: 422
diff changeset
76 self.buttonBox = QtWidgets.QDialogButtonBox(parent=HistoryDialog)
422
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"))

eric ide

mercurial