-
Notifications
You must be signed in to change notification settings - Fork 3
Expand file tree
/
Copy pathEditorWindow.py
More file actions
239 lines (232 loc) · 13.2 KB
/
EditorWindow.py
File metadata and controls
239 lines (232 loc) · 13.2 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
# -*- coding: utf-8 -*-
# Form implementation generated from reading ui file 'EditorWindow.ui'
#
# Created by: PyQt5 UI code generator 5.15.6
#
# WARNING: Any manual changes made to this file will be lost when pyuic5 is
# run again. Do not edit this file unless you know what you are doing.
from PyQt5 import QtCore, QtGui, QtWidgets
class Ui_EditorWindow(object):
def setupUi(self, EditorWindow):
EditorWindow.setObjectName("EditorWindow")
EditorWindow.resize(813, 586)
font = QtGui.QFont()
font.setFamily("Verdana")
EditorWindow.setFont(font)
EditorWindow.setToolTipDuration(-2)
EditorWindow.setStyleSheet("")
self.centralwidget = QtWidgets.QWidget(EditorWindow)
self.centralwidget.setStyleSheet("")
self.centralwidget.setObjectName("centralwidget")
self.verticalLayout = QtWidgets.QVBoxLayout(self.centralwidget)
self.verticalLayout.setObjectName("verticalLayout")
self.editFrame = QtWidgets.QFrame(self.centralwidget)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.editFrame.sizePolicy().hasHeightForWidth())
self.editFrame.setSizePolicy(sizePolicy)
self.editFrame.setMaximumSize(QtCore.QSize(16777215, 500))
self.editFrame.setFrameShape(QtWidgets.QFrame.NoFrame)
self.editFrame.setFrameShadow(QtWidgets.QFrame.Raised)
self.editFrame.setObjectName("editFrame")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.editFrame)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.toolBox = QtWidgets.QToolBox(self.editFrame)
self.toolBox.setObjectName("toolBox")
self.page = QtWidgets.QWidget()
self.page.setGeometry(QtCore.QRect(0, 0, 748, 340))
self.page.setMinimumSize(QtCore.QSize(0, 340))
self.page.setObjectName("page")
self.label = QtWidgets.QLabel(self.page)
self.label.setGeometry(QtCore.QRect(30, 30, 60, 16))
self.label.setObjectName("label")
self.pushButton_12 = QtWidgets.QPushButton(self.page)
self.pushButton_12.setGeometry(QtCore.QRect(120, 100, 121, 31))
self.pushButton_12.setObjectName("pushButton_12")
self.label_2 = QtWidgets.QLabel(self.page)
self.label_2.setGeometry(QtCore.QRect(30, 110, 60, 16))
self.label_2.setObjectName("label_2")
self.spinBox = QtWidgets.QSpinBox(self.page)
self.spinBox.setGeometry(QtCore.QRect(120, 30, 121, 22))
self.spinBox.setObjectName("spinBox")
self.toolBox.addItem(self.page, "")
self.page_2 = QtWidgets.QWidget()
self.page_2.setGeometry(QtCore.QRect(0, 0, 769, 323))
self.page_2.setObjectName("page_2")
self.tableWidget = QtWidgets.QTableWidget(self.page_2)
self.tableWidget.setGeometry(QtCore.QRect(0, 0, 571, 321))
self.tableWidget.setColumnCount(4)
self.tableWidget.setObjectName("tableWidget")
self.tableWidget.setRowCount(0)
item = QtWidgets.QTableWidgetItem()
self.tableWidget.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget.setHorizontalHeaderItem(1, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget.setHorizontalHeaderItem(2, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget.setHorizontalHeaderItem(3, item)
self.pushButton_3 = QtWidgets.QPushButton(self.page_2)
self.pushButton_3.setGeometry(QtCore.QRect(600, 30, 140, 30))
self.pushButton_3.setObjectName("pushButton_3")
self.pushButton_6 = QtWidgets.QPushButton(self.page_2)
self.pushButton_6.setGeometry(QtCore.QRect(600, 80, 140, 30))
self.pushButton_6.setObjectName("pushButton_6")
self.pushButton_9 = QtWidgets.QPushButton(self.page_2)
self.pushButton_9.setGeometry(QtCore.QRect(600, 130, 140, 30))
self.pushButton_9.setObjectName("pushButton_9")
self.toolBox.addItem(self.page_2, "")
self.page_3 = QtWidgets.QWidget()
self.page_3.setGeometry(QtCore.QRect(0, 0, 769, 323))
self.page_3.setObjectName("page_3")
self.tableWidget_2 = QtWidgets.QTableWidget(self.page_3)
self.tableWidget_2.setGeometry(QtCore.QRect(0, 0, 571, 321))
self.tableWidget_2.setObjectName("tableWidget_2")
self.tableWidget_2.setColumnCount(4)
self.tableWidget_2.setRowCount(2)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_2.setVerticalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_2.setVerticalHeaderItem(1, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_2.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_2.setHorizontalHeaderItem(1, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_2.setHorizontalHeaderItem(2, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_2.setHorizontalHeaderItem(3, item)
self.pushButton_4 = QtWidgets.QPushButton(self.page_3)
self.pushButton_4.setGeometry(QtCore.QRect(600, 30, 140, 30))
self.pushButton_4.setObjectName("pushButton_4")
self.pushButton_7 = QtWidgets.QPushButton(self.page_3)
self.pushButton_7.setGeometry(QtCore.QRect(600, 80, 140, 30))
self.pushButton_7.setObjectName("pushButton_7")
self.pushButton_10 = QtWidgets.QPushButton(self.page_3)
self.pushButton_10.setGeometry(QtCore.QRect(600, 130, 140, 30))
self.pushButton_10.setObjectName("pushButton_10")
self.toolBox.addItem(self.page_3, "")
self.page_4 = QtWidgets.QWidget()
self.page_4.setGeometry(QtCore.QRect(0, 0, 769, 323))
self.page_4.setObjectName("page_4")
self.tableWidget_3 = QtWidgets.QTableWidget(self.page_4)
self.tableWidget_3.setGeometry(QtCore.QRect(0, 0, 571, 331))
self.tableWidget_3.setObjectName("tableWidget_3")
self.tableWidget_3.setColumnCount(6)
self.tableWidget_3.setRowCount(0)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_3.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_3.setHorizontalHeaderItem(1, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_3.setHorizontalHeaderItem(2, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_3.setHorizontalHeaderItem(3, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_3.setHorizontalHeaderItem(4, item)
item = QtWidgets.QTableWidgetItem()
self.tableWidget_3.setHorizontalHeaderItem(5, item)
self.pushButton_5 = QtWidgets.QPushButton(self.page_4)
self.pushButton_5.setGeometry(QtCore.QRect(600, 30, 140, 30))
self.pushButton_5.setObjectName("pushButton_5")
self.pushButton_8 = QtWidgets.QPushButton(self.page_4)
self.pushButton_8.setGeometry(QtCore.QRect(600, 80, 140, 30))
self.pushButton_8.setObjectName("pushButton_8")
self.pushButton_11 = QtWidgets.QPushButton(self.page_4)
self.pushButton_11.setGeometry(QtCore.QRect(600, 130, 140, 30))
self.pushButton_11.setObjectName("pushButton_11")
self.toolBox.addItem(self.page_4, "")
self.page_5 = QtWidgets.QWidget()
self.page_5.setGeometry(QtCore.QRect(0, 0, 769, 323))
self.page_5.setObjectName("page_5")
self.graphicsView = QtWidgets.QGraphicsView(self.page_5)
self.graphicsView.setGeometry(QtCore.QRect(200, 0, 561, 321))
self.graphicsView.setObjectName("graphicsView")
self.tableGraphicsView = QtWidgets.QGraphicsView(self.page_5)
self.tableGraphicsView.setGeometry(QtCore.QRect(0, 0, 161, 321))
self.tableGraphicsView.setObjectName("tableGraphicsView")
self.toolBox.addItem(self.page_5, "")
self.verticalLayout_2.addWidget(self.toolBox)
self.verticalLayout.addWidget(self.editFrame)
self.frame_2 = QtWidgets.QFrame(self.centralwidget)
self.frame_2.setFrameShape(QtWidgets.QFrame.NoFrame)
self.frame_2.setFrameShadow(QtWidgets.QFrame.Raised)
self.frame_2.setObjectName("frame_2")
self.horizontalLayout = QtWidgets.QHBoxLayout(self.frame_2)
self.horizontalLayout.setObjectName("horizontalLayout")
self.pushButton = QtWidgets.QPushButton(self.frame_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pushButton.sizePolicy().hasHeightForWidth())
self.pushButton.setSizePolicy(sizePolicy)
self.pushButton.setObjectName("pushButton")
self.horizontalLayout.addWidget(self.pushButton)
self.pushButton_2 = QtWidgets.QPushButton(self.frame_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pushButton_2.sizePolicy().hasHeightForWidth())
self.pushButton_2.setSizePolicy(sizePolicy)
self.pushButton_2.setObjectName("pushButton_2")
self.horizontalLayout.addWidget(self.pushButton_2)
self.verticalLayout.addWidget(self.frame_2, 0, QtCore.Qt.AlignRight|QtCore.Qt.AlignBottom)
EditorWindow.setCentralWidget(self.centralwidget)
self.retranslateUi(EditorWindow)
self.toolBox.setCurrentIndex(1)
QtCore.QMetaObject.connectSlotsByName(EditorWindow)
def retranslateUi(self, EditorWindow):
_translate = QtCore.QCoreApplication.translate
EditorWindow.setWindowTitle(_translate("EditorWindow", "Editor "))
self.label.setText(_translate("EditorWindow", "Temp:"))
self.pushButton_12.setText(_translate("EditorWindow", "Check System"))
self.label_2.setText(_translate("EditorWindow", "Freezing"))
self.toolBox.setItemText(self.toolBox.indexOf(self.page), _translate("EditorWindow", "System Temperature"))
item = self.tableWidget.horizontalHeaderItem(0)
item.setText(_translate("EditorWindow", "Color"))
item = self.tableWidget.horizontalHeaderItem(1)
item.setText(_translate("EditorWindow", "Label"))
item = self.tableWidget.horizontalHeaderItem(2)
item.setText(_translate("EditorWindow", "Seed"))
item = self.tableWidget.horizontalHeaderItem(3)
item.setText(_translate("EditorWindow", "Initial"))
self.pushButton_3.setText(_translate("EditorWindow", "Add Row"))
self.pushButton_6.setText(_translate("EditorWindow", "Duplicate Row"))
self.pushButton_9.setText(_translate("EditorWindow", "Delete Row"))
self.toolBox.setItemText(self.toolBox.indexOf(self.page_2), _translate("EditorWindow", "Add State"))
item = self.tableWidget_2.verticalHeaderItem(0)
item.setText(_translate("EditorWindow", "1"))
item = self.tableWidget_2.verticalHeaderItem(1)
item.setText(_translate("EditorWindow", "2"))
item = self.tableWidget_2.horizontalHeaderItem(0)
item.setText(_translate("EditorWindow", "State 1"))
item = self.tableWidget_2.horizontalHeaderItem(1)
item.setText(_translate("EditorWindow", "State 2"))
item = self.tableWidget_2.horizontalHeaderItem(2)
item.setText(_translate("EditorWindow", "Direction"))
item = self.tableWidget_2.horizontalHeaderItem(3)
item.setText(_translate("EditorWindow", "Glue Strength"))
self.pushButton_4.setText(_translate("EditorWindow", "Add Row"))
self.pushButton_7.setText(_translate("EditorWindow", "Duplicate Row"))
self.pushButton_10.setText(_translate("EditorWindow", "Delete Row"))
self.toolBox.setItemText(self.toolBox.indexOf(self.page_3), _translate("EditorWindow", "Add Affinity Rule"))
item = self.tableWidget_3.horizontalHeaderItem(0)
item.setText(_translate("EditorWindow", "State 1"))
item = self.tableWidget_3.horizontalHeaderItem(1)
item.setText(_translate("EditorWindow", "State 2"))
item = self.tableWidget_3.horizontalHeaderItem(2)
item.setText(_translate("EditorWindow", "-->"))
item = self.tableWidget_3.horizontalHeaderItem(3)
item.setText(_translate("EditorWindow", "State 1 Final"))
item = self.tableWidget_3.horizontalHeaderItem(4)
item.setText(_translate("EditorWindow", "State 2 Final"))
item = self.tableWidget_3.horizontalHeaderItem(5)
item.setText(_translate("EditorWindow", "Direction"))
self.pushButton_5.setText(_translate("EditorWindow", "Add Row"))
self.pushButton_8.setText(_translate("EditorWindow", "Duplicate Row"))
self.pushButton_11.setText(_translate("EditorWindow", "Delete Row"))
self.toolBox.setItemText(self.toolBox.indexOf(self.page_4), _translate("EditorWindow", "Add Transition Rule"))
self.toolBox.setItemText(self.toolBox.indexOf(self.page_5), _translate("EditorWindow", "Seed"))
self.pushButton.setText(_translate("EditorWindow", "Apply"))
self.pushButton_2.setText(_translate("EditorWindow", "Save as"))