diff -r e3167d354ab6 -r f98253eed7f0 RefactoringRope/Ui_HistoryDialog.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/RefactoringRope/Ui_HistoryDialog.py Sat Oct 26 15:50:43 2024 +0200
@@ -0,0 +1,105 @@
+# Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_plugins/Plugin_Refactoring_Rope/RefactoringRope/HistoryDialog.ui'
+#
+# Created by: PyQt6 UI code generator 6.3.1
+#
+# WARNING: Any manual changes made to this file will be lost when pyuic6 is
+# run again. Do not edit this file unless you know what you are doing.
+
+
+from PyQt6 import QtCore, QtGui, QtWidgets
+
+
+class Ui_HistoryDialog(object):
+ def setupUi(self, HistoryDialog):
+ HistoryDialog.setObjectName("HistoryDialog")
+ HistoryDialog.resize(800, 600)
+ HistoryDialog.setSizeGripEnabled(True)
+ self.verticalLayout_3 = QtWidgets.QVBoxLayout(HistoryDialog)
+ self.verticalLayout_3.setObjectName("verticalLayout_3")
+ self.header = QtWidgets.QLabel(HistoryDialog)
+ self.header.setWordWrap(True)
+ self.header.setObjectName("header")
+ self.verticalLayout_3.addWidget(self.header)
+ self.splitter_2 = QtWidgets.QSplitter(HistoryDialog)
+ sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding)
+ sizePolicy.setHorizontalStretch(0)
+ sizePolicy.setVerticalStretch(0)
+ sizePolicy.setHeightForWidth(self.splitter_2.sizePolicy().hasHeightForWidth())
+ self.splitter_2.setSizePolicy(sizePolicy)
+ self.splitter_2.setOrientation(QtCore.Qt.Orientation.Horizontal)
+ self.splitter_2.setObjectName("splitter_2")
+ self.splitter = QtWidgets.QSplitter(self.splitter_2)
+ sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Preferred, QtWidgets.QSizePolicy.Policy.Expanding)
+ sizePolicy.setHorizontalStretch(1)
+ sizePolicy.setVerticalStretch(0)
+ sizePolicy.setHeightForWidth(self.splitter.sizePolicy().hasHeightForWidth())
+ self.splitter.setSizePolicy(sizePolicy)
+ self.splitter.setOrientation(QtCore.Qt.Orientation.Vertical)
+ self.splitter.setObjectName("splitter")
+ self.widget = QtWidgets.QWidget(self.splitter)
+ self.widget.setObjectName("widget")
+ self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.widget)
+ self.verticalLayout_2.setContentsMargins(0, 0, 0, 0)
+ self.verticalLayout_2.setObjectName("verticalLayout_2")
+ self.description = QtWidgets.QLabel(self.widget)
+ self.description.setWordWrap(True)
+ self.description.setObjectName("description")
+ self.verticalLayout_2.addWidget(self.description)
+ self.undoChangesList = QtWidgets.QListWidget(self.widget)
+ self.undoChangesList.setAlternatingRowColors(True)
+ self.undoChangesList.setObjectName("undoChangesList")
+ self.verticalLayout_2.addWidget(self.undoChangesList)
+ self.widget1 = QtWidgets.QWidget(self.splitter)
+ self.widget1.setObjectName("widget1")
+ self.verticalLayout = QtWidgets.QVBoxLayout(self.widget1)
+ self.verticalLayout.setContentsMargins(0, 0, 0, 0)
+ self.verticalLayout.setObjectName("verticalLayout")
+ self.description_2 = QtWidgets.QLabel(self.widget1)
+ self.description_2.setWordWrap(True)
+ self.description_2.setObjectName("description_2")
+ self.verticalLayout.addWidget(self.description_2)
+ self.redoChangesList = QtWidgets.QListWidget(self.widget1)
+ self.redoChangesList.setAlternatingRowColors(True)
+ self.redoChangesList.setObjectName("redoChangesList")
+ self.verticalLayout.addWidget(self.redoChangesList)
+ self.previewEdit = QtWidgets.QTextEdit(self.splitter_2)
+ sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding)
+ sizePolicy.setHorizontalStretch(2)
+ sizePolicy.setVerticalStretch(0)
+ sizePolicy.setHeightForWidth(self.previewEdit.sizePolicy().hasHeightForWidth())
+ self.previewEdit.setSizePolicy(sizePolicy)
+ self.previewEdit.setTabChangesFocus(True)
+ self.previewEdit.setLineWrapMode(QtWidgets.QTextEdit.LineWrapMode.NoWrap)
+ self.previewEdit.setReadOnly(True)
+ self.previewEdit.setObjectName("previewEdit")
+ self.verticalLayout_3.addWidget(self.splitter_2)
+ self.buttonBox = QtWidgets.QDialogButtonBox(HistoryDialog)
+ self.buttonBox.setOrientation(QtCore.Qt.Orientation.Horizontal)
+ self.buttonBox.setStandardButtons(QtWidgets.QDialogButtonBox.StandardButton.Close)
+ self.buttonBox.setObjectName("buttonBox")
+ self.verticalLayout_3.addWidget(self.buttonBox)
+
+ self.retranslateUi(HistoryDialog)
+ self.buttonBox.accepted.connect(HistoryDialog.accept) # type: ignore
+ self.buttonBox.rejected.connect(HistoryDialog.reject) # type: ignore
+ QtCore.QMetaObject.connectSlotsByName(HistoryDialog)
+ HistoryDialog.setTabOrder(self.undoChangesList, self.redoChangesList)
+ HistoryDialog.setTabOrder(self.redoChangesList, self.previewEdit)
+
+ def retranslateUi(self, HistoryDialog):
+ _translate = QtCore.QCoreApplication.translate
+ HistoryDialog.setWindowTitle(_translate("HistoryDialog", "Refactoring History"))
+ self.description.setText(_translate("HistoryDialog", "Undo History"))
+ self.undoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right"))
+ self.description_2.setText(_translate("HistoryDialog", "Redo History"))
+ self.redoChangesList.setToolTip(_translate("HistoryDialog", "Select a change to preview on the right"))
+
+
+if __name__ == "__main__":
+ import sys
+ app = QtWidgets.QApplication(sys.argv)
+ HistoryDialog = QtWidgets.QDialog()
+ ui = Ui_HistoryDialog()
+ ui.setupUi(HistoryDialog)
+ HistoryDialog.show()
+ sys.exit(app.exec())
