# -*- coding: utf-8 -*-
# Form implementation generated from reading ui file '/home/eudoxos/woo/gui/qt/controller.ui'
#
# Created by: PyQt5 UI code generator 5.14.1
#
# WARNING! All changes made in this file will be lost!
from PyQt5 import QtCore, QtGui, QtWidgets
[docs]class Ui_Controller(object):
[docs] def setupUi(self, Controller):
Controller.setObjectName("Controller")
Controller.resize(413, 539)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(Controller.sizePolicy().hasHeightForWidth())
Controller.setSizePolicy(sizePolicy)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/img/woo-logo.svg"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
Controller.setWindowIcon(icon)
self.gridLayout_13 = QtWidgets.QGridLayout(Controller)
self.gridLayout_13.setContentsMargins(0, 0, 0, 0)
self.gridLayout_13.setSpacing(0)
self.gridLayout_13.setObjectName("gridLayout_13")
self.controllerTabs = QtWidgets.QTabWidget(Controller)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.controllerTabs.sizePolicy().hasHeightForWidth())
self.controllerTabs.setSizePolicy(sizePolicy)
self.controllerTabs.setObjectName("controllerTabs")
self.tabGridLayout = QtWidgets.QWidget()
self.tabGridLayout.setObjectName("tabGridLayout")
self.gridLayout_4 = QtWidgets.QGridLayout(self.tabGridLayout)
self.gridLayout_4.setContentsMargins(0, 0, 0, 0)
self.gridLayout_4.setSpacing(0)
self.gridLayout_4.setObjectName("gridLayout_4")
self.frame = QtWidgets.QFrame(self.tabGridLayout)
self.frame.setFrameShape(QtWidgets.QFrame.StyledPanel)
self.frame.setFrameShadow(QtWidgets.QFrame.Raised)
self.frame.setObjectName("frame")
self.gridLayout_12 = QtWidgets.QGridLayout(self.frame)
self.gridLayout_12.setContentsMargins(0, 0, 0, 0)
self.gridLayout_12.setSpacing(0)
self.gridLayout_12.setObjectName("gridLayout_12")
self.simPageLayout = QtWidgets.QGridLayout()
self.simPageLayout.setSpacing(0)
self.simPageLayout.setObjectName("simPageLayout")
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setSpacing(4)
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.gridLayout_2 = QtWidgets.QGridLayout()
self.gridLayout_2.setObjectName("gridLayout_2")
self.virtTimeLabel = QtWidgets.QLabel(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.virtTimeLabel.sizePolicy().hasHeightForWidth())
self.virtTimeLabel.setSizePolicy(sizePolicy)
self.virtTimeLabel.setObjectName("virtTimeLabel")
self.gridLayout_2.addWidget(self.virtTimeLabel, 0, 0, 1, 1)
self.gridLayout = QtWidgets.QGridLayout()
self.gridLayout.setObjectName("gridLayout")
self.iterLabel = QtWidgets.QLabel(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.iterLabel.sizePolicy().hasHeightForWidth())
self.iterLabel.setSizePolicy(sizePolicy)
self.iterLabel.setWordWrap(True)
self.iterLabel.setObjectName("iterLabel")
self.gridLayout.addWidget(self.iterLabel, 1, 1, 1, 1)
self.dtLabel = QtWidgets.QLabel(self.frame)
self.dtLabel.setObjectName("dtLabel")
self.gridLayout.addWidget(self.dtLabel, 2, 1, 1, 1)
self.label_8 = QtWidgets.QLabel(self.frame)
self.label_8.setObjectName("label_8")
self.gridLayout.addWidget(self.label_8, 1, 0, 1, 1)
self.label_6 = QtWidgets.QLabel(self.frame)
self.label_6.setObjectName("label_6")
self.gridLayout.addWidget(self.label_6, 0, 0, 1, 1)
self.realTimeLabel = QtWidgets.QLabel(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.realTimeLabel.sizePolicy().hasHeightForWidth())
self.realTimeLabel.setSizePolicy(sizePolicy)
self.realTimeLabel.setObjectName("realTimeLabel")
self.gridLayout.addWidget(self.realTimeLabel, 0, 1, 1, 1)
self.label_9 = QtWidgets.QLabel(self.frame)
self.label_9.setObjectName("label_9")
self.gridLayout.addWidget(self.label_9, 2, 0, 1, 1)
self.gridLayout_2.addLayout(self.gridLayout, 1, 0, 1, 1)
self.horizontalLayout_5.addLayout(self.gridLayout_2)
self.verticalLayout_3 = QtWidgets.QVBoxLayout()
self.verticalLayout_3.setSpacing(0)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.loadButton = QtWidgets.QPushButton(self.frame)
self.loadButton.setEnabled(True)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.loadButton.sizePolicy().hasHeightForWidth())
self.loadButton.setSizePolicy(sizePolicy)
self.loadButton.setMinimumSize(QtCore.QSize(0, 0))
self.loadButton.setObjectName("loadButton")
self.verticalLayout_3.addWidget(self.loadButton)
self.saveButton = QtWidgets.QPushButton(self.frame)
self.saveButton.setEnabled(True)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.saveButton.sizePolicy().hasHeightForWidth())
self.saveButton.setSizePolicy(sizePolicy)
self.saveButton.setMinimumSize(QtCore.QSize(0, 0))
self.saveButton.setObjectName("saveButton")
self.verticalLayout_3.addWidget(self.saveButton)
self.fileLabel = QtWidgets.QLineEdit(self.frame)
self.fileLabel.setEnabled(False)
self.fileLabel.setFocusPolicy(QtCore.Qt.NoFocus)
self.fileLabel.setCursorPosition(9)
self.fileLabel.setAlignment(QtCore.Qt.AlignRight|QtCore.Qt.AlignTrailing|QtCore.Qt.AlignVCenter)
self.fileLabel.setDragEnabled(False)
self.fileLabel.setReadOnly(True)
self.fileLabel.setObjectName("fileLabel")
self.verticalLayout_3.addWidget(self.fileLabel)
self.horizontalLayout_5.addLayout(self.verticalLayout_3)
self.simPageLayout.addLayout(self.horizontalLayout_5, 0, 0, 1, 1)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.verticalLayout_2 = QtWidgets.QVBoxLayout()
self.verticalLayout_2.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_2.setSpacing(6)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setSpacing(6)
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
self.playButton = QtWidgets.QPushButton(self.frame)
self.playButton.setEnabled(False)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(5)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.playButton.sizePolicy().hasHeightForWidth())
self.playButton.setSizePolicy(sizePolicy)
self.playButton.setMinimumSize(QtCore.QSize(0, 56))
font = QtGui.QFont()
font.setPointSize(18)
self.playButton.setFont(font)
self.playButton.setIconSize(QtCore.QSize(32, 32))
self.playButton.setDefault(True)
self.playButton.setFlat(False)
self.playButton.setObjectName("playButton")
self.horizontalLayout_3.addWidget(self.playButton)
self.pauseButton = QtWidgets.QPushButton(self.frame)
self.pauseButton.setEnabled(False)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(4)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pauseButton.sizePolicy().hasHeightForWidth())
self.pauseButton.setSizePolicy(sizePolicy)
self.pauseButton.setMinimumSize(QtCore.QSize(0, 56))
font = QtGui.QFont()
font.setPointSize(18)
self.pauseButton.setFont(font)
self.pauseButton.setIconSize(QtCore.QSize(32, 32))
self.pauseButton.setObjectName("pauseButton")
self.horizontalLayout_3.addWidget(self.pauseButton)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setSpacing(0)
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.gridLayout_9 = QtWidgets.QGridLayout()
self.gridLayout_9.setContentsMargins(0, 0, 0, 0)
self.gridLayout_9.setSpacing(0)
self.gridLayout_9.setObjectName("gridLayout_9")
self.stepButton = QtWidgets.QPushButton(self.frame)
self.stepButton.setEnabled(False)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(2)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.stepButton.sizePolicy().hasHeightForWidth())
self.stepButton.setSizePolicy(sizePolicy)
font = QtGui.QFont()
font.setPointSize(12)
self.stepButton.setFont(font)
self.stepButton.setIconSize(QtCore.QSize(32, 32))
self.stepButton.setObjectName("stepButton")
self.gridLayout_9.addWidget(self.stepButton, 0, 0, 1, 1)
self.horizontalLayout_4.addLayout(self.gridLayout_9)
self.verticalLayout_5 = QtWidgets.QVBoxLayout()
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.subStepCheckbox = QtWidgets.QCheckBox(self.frame)
font = QtGui.QFont()
font.setPointSize(7)
self.subStepCheckbox.setFont(font)
self.subStepCheckbox.setObjectName("subStepCheckbox")
self.verticalLayout_5.addWidget(self.subStepCheckbox)
self.multiStepSpinBox = QtWidgets.QSpinBox(self.frame)
self.multiStepSpinBox.setMinimum(1)
self.multiStepSpinBox.setMaximum(999)
self.multiStepSpinBox.setObjectName("multiStepSpinBox")
self.verticalLayout_5.addWidget(self.multiStepSpinBox)
self.horizontalLayout_4.addLayout(self.verticalLayout_5)
self.throttleControl = QtWidgets.QDial(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.throttleControl.sizePolicy().hasHeightForWidth())
self.throttleControl.setSizePolicy(sizePolicy)
self.throttleControl.setMinimumSize(QtCore.QSize(0, 0))
self.throttleControl.setMaximumSize(QtCore.QSize(40, 40))
self.throttleControl.setBaseSize(QtCore.QSize(0, 0))
self.throttleControl.setMaximum(100)
self.throttleControl.setSingleStep(2)
self.throttleControl.setTracking(True)
self.throttleControl.setOrientation(QtCore.Qt.Horizontal)
self.throttleControl.setInvertedAppearance(True)
self.throttleControl.setInvertedControls(True)
self.throttleControl.setNotchTarget(100.0)
self.throttleControl.setNotchesVisible(False)
self.throttleControl.setObjectName("throttleControl")
self.horizontalLayout_4.addWidget(self.throttleControl)
self.reloadButton = QtWidgets.QPushButton(self.frame)
self.reloadButton.setEnabled(False)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(5)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.reloadButton.sizePolicy().hasHeightForWidth())
self.reloadButton.setSizePolicy(sizePolicy)
font = QtGui.QFont()
font.setPointSize(22)
self.reloadButton.setFont(font)
self.reloadButton.setIconSize(QtCore.QSize(32, 32))
self.reloadButton.setObjectName("reloadButton")
self.horizontalLayout_4.addWidget(self.reloadButton)
self.verticalLayout_2.addLayout(self.horizontalLayout_4)
self.horizontalLayout_2.addLayout(self.verticalLayout_2)
self.verticalLayout = QtWidgets.QVBoxLayout()
self.verticalLayout.setContentsMargins(6, -1, -1, -1)
self.verticalLayout.setSpacing(6)
self.verticalLayout.setObjectName("verticalLayout")
self.show3dButton = QtWidgets.QPushButton(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.show3dButton.sizePolicy().hasHeightForWidth())
self.show3dButton.setSizePolicy(sizePolicy)
self.show3dButton.setCheckable(True)
self.show3dButton.setObjectName("show3dButton")
self.verticalLayout.addWidget(self.show3dButton)
self.plotButton = QtWidgets.QPushButton(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.plotButton.sizePolicy().hasHeightForWidth())
self.plotButton.setSizePolicy(sizePolicy)
self.plotButton.setObjectName("plotButton")
self.verticalLayout.addWidget(self.plotButton)
self.inspectButton = QtWidgets.QPushButton(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.inspectButton.sizePolicy().hasHeightForWidth())
self.inspectButton.setSizePolicy(sizePolicy)
self.inspectButton.setCheckable(False)
self.inspectButton.setObjectName("inspectButton")
self.verticalLayout.addWidget(self.inspectButton)
self.horizontalLayout_2.addLayout(self.verticalLayout)
self.simPageLayout.addLayout(self.horizontalLayout_2, 1, 0, 1, 1)
self.customArea = QtWidgets.QFrame(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(40)
sizePolicy.setVerticalStretch(40)
sizePolicy.setHeightForWidth(self.customArea.sizePolicy().hasHeightForWidth())
self.customArea.setSizePolicy(sizePolicy)
self.customArea.setFrameShape(QtWidgets.QFrame.StyledPanel)
self.customArea.setFrameShadow(QtWidgets.QFrame.Raised)
self.customArea.setObjectName("customArea")
self.simPageLayout.addWidget(self.customArea, 2, 0, 1, 1)
self.gridLayout_12.addLayout(self.simPageLayout, 0, 0, 1, 1)
self.gridLayout_4.addWidget(self.frame, 0, 0, 1, 1)
self.controllerTabs.addTab(self.tabGridLayout, "")
self.tab_2 = QtWidgets.QWidget()
self.tab_2.setObjectName("tab_2")
self.gridLayout_7 = QtWidgets.QGridLayout(self.tab_2)
self.gridLayout_7.setContentsMargins(0, 0, 0, 0)
self.gridLayout_7.setSpacing(0)
self.gridLayout_7.setObjectName("gridLayout_7")
self.gridLayout_3 = QtWidgets.QGridLayout()
self.gridLayout_3.setSpacing(0)
self.gridLayout_3.setObjectName("gridLayout_3")
self.horizontalLayout_13 = QtWidgets.QHBoxLayout()
self.horizontalLayout_13.setObjectName("horizontalLayout_13")
self.dispMenuButton = QtWidgets.QPushButton(self.tab_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.dispMenuButton.sizePolicy().hasHeightForWidth())
self.dispMenuButton.setSizePolicy(sizePolicy)
self.dispMenuButton.setMinimumSize(QtCore.QSize(30, 0))
self.dispMenuButton.setMaximumSize(QtCore.QSize(30, 16777215))
self.dispMenuButton.setObjectName("dispMenuButton")
self.horizontalLayout_13.addWidget(self.dispMenuButton)
self.displayCombo = QtWidgets.QComboBox(self.tab_2)
self.displayCombo.setObjectName("displayCombo")
self.horizontalLayout_13.addWidget(self.displayCombo)
self.gridLayout_3.addLayout(self.horizontalLayout_13, 0, 0, 1, 1)
self.displayArea = QtWidgets.QScrollArea(self.tab_2)
self.displayArea.setWidgetResizable(True)
self.displayArea.setObjectName("displayArea")
self.displayAreaWidget = QtWidgets.QWidget()
self.displayAreaWidget.setGeometry(QtCore.QRect(0, 0, 403, 479))
self.displayAreaWidget.setObjectName("displayAreaWidget")
self.displayArea.setWidget(self.displayAreaWidget)
self.gridLayout_3.addWidget(self.displayArea, 1, 0, 1, 1)
self.gridLayout_7.addLayout(self.gridLayout_3, 0, 0, 1, 1)
self.controllerTabs.addTab(self.tab_2, "")
self.tab_4 = QtWidgets.QWidget()
self.tab_4.setObjectName("tab_4")
self.gridLayout_6 = QtWidgets.QGridLayout(self.tab_4)
self.gridLayout_6.setContentsMargins(0, 0, 0, 0)
self.gridLayout_6.setObjectName("gridLayout_6")
self.gridLayout_5 = QtWidgets.QGridLayout()
self.gridLayout_5.setSpacing(0)
self.gridLayout_5.setObjectName("gridLayout_5")
self.horizontalLayout_6 = QtWidgets.QHBoxLayout()
self.horizontalLayout_6.setObjectName("horizontalLayout_6")
self.preMenuButton = QtWidgets.QPushButton(self.tab_4)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.preMenuButton.sizePolicy().hasHeightForWidth())
self.preMenuButton.setSizePolicy(sizePolicy)
self.preMenuButton.setMaximumSize(QtCore.QSize(30, 16777215))
self.preMenuButton.setBaseSize(QtCore.QSize(30, 0))
self.preMenuButton.setAcceptDrops(False)
self.preMenuButton.setDefault(True)
self.preMenuButton.setFlat(False)
self.preMenuButton.setObjectName("preMenuButton")
self.horizontalLayout_6.addWidget(self.preMenuButton)
self.generatorCombo = QtWidgets.QComboBox(self.tab_4)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(2)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.generatorCombo.sizePolicy().hasHeightForWidth())
self.generatorCombo.setSizePolicy(sizePolicy)
self.generatorCombo.setObjectName("generatorCombo")
self.horizontalLayout_6.addWidget(self.generatorCombo)
self.genSaveParamsButton = QtWidgets.QPushButton(self.tab_4)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.genSaveParamsButton.sizePolicy().hasHeightForWidth())
self.genSaveParamsButton.setSizePolicy(sizePolicy)
self.genSaveParamsButton.setMinimumSize(QtCore.QSize(58, 0))
self.genSaveParamsButton.setObjectName("genSaveParamsButton")
self.horizontalLayout_6.addWidget(self.genSaveParamsButton)
self.gridLayout_5.addLayout(self.horizontalLayout_6, 2, 0, 1, 1)
self.generatorArea = QtWidgets.QScrollArea(self.tab_4)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(200)
sizePolicy.setVerticalStretch(200)
sizePolicy.setHeightForWidth(self.generatorArea.sizePolicy().hasHeightForWidth())
self.generatorArea.setSizePolicy(sizePolicy)
self.generatorArea.setMinimumSize(QtCore.QSize(0, 0))
self.generatorArea.setWidgetResizable(True)
self.generatorArea.setObjectName("generatorArea")
self.generatorAreaWidget = QtWidgets.QWidget()
self.generatorAreaWidget.setGeometry(QtCore.QRect(0, 0, 500, 500))
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.generatorAreaWidget.sizePolicy().hasHeightForWidth())
self.generatorAreaWidget.setSizePolicy(sizePolicy)
self.generatorAreaWidget.setMinimumSize(QtCore.QSize(500, 500))
self.generatorAreaWidget.setMaximumSize(QtCore.QSize(398, 336))
self.generatorAreaWidget.setObjectName("generatorAreaWidget")
self.generatorArea.setWidget(self.generatorAreaWidget)
self.gridLayout_5.addWidget(self.generatorArea, 4, 0, 1, 1)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setSpacing(2)
self.horizontalLayout.setObjectName("horizontalLayout")
self.label_2 = QtWidgets.QLabel(self.tab_4)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_2.sizePolicy().hasHeightForWidth())
self.label_2.setSizePolicy(sizePolicy)
self.label_2.setObjectName("label_2")
self.horizontalLayout.addWidget(self.label_2)
self.genOpenCheckbox = QtWidgets.QCheckBox(self.tab_4)
font = QtGui.QFont()
font.setPointSize(9)
self.genOpenCheckbox.setFont(font)
self.genOpenCheckbox.setChecked(True)
self.genOpenCheckbox.setObjectName("genOpenCheckbox")
self.horizontalLayout.addWidget(self.genOpenCheckbox)
self.label_3 = QtWidgets.QLabel(self.tab_4)
self.label_3.setObjectName("label_3")
self.horizontalLayout.addWidget(self.label_3)
self.genMemoryCombo = QtWidgets.QComboBox(self.tab_4)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.genMemoryCombo.sizePolicy().hasHeightForWidth())
self.genMemoryCombo.setSizePolicy(sizePolicy)
self.genMemoryCombo.setObjectName("genMemoryCombo")
self.genMemoryCombo.addItem("")
self.genMemoryCombo.addItem("")
self.horizontalLayout.addWidget(self.genMemoryCombo)
self.generatorFilenameEdit = QtWidgets.QLineEdit(self.tab_4)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(3)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.generatorFilenameEdit.sizePolicy().hasHeightForWidth())
self.generatorFilenameEdit.setSizePolicy(sizePolicy)
self.generatorFilenameEdit.setObjectName("generatorFilenameEdit")
self.horizontalLayout.addWidget(self.generatorFilenameEdit)
self.generateButton = QtWidgets.QPushButton(self.tab_4)
self.generateButton.setMinimumSize(QtCore.QSize(0, 50))
self.generateButton.setMaximumSize(QtCore.QSize(50, 16777215))
self.generateButton.setObjectName("generateButton")
self.horizontalLayout.addWidget(self.generateButton)
self.gridLayout_5.addLayout(self.horizontalLayout, 5, 0, 1, 1)
self.gridLayout_6.addLayout(self.gridLayout_5, 0, 0, 1, 1)
self.controllerTabs.addTab(self.tab_4, "")
self.tab_5 = QtWidgets.QWidget()
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(1)
sizePolicy.setHeightForWidth(self.tab_5.sizePolicy().hasHeightForWidth())
self.tab_5.setSizePolicy(sizePolicy)
self.tab_5.setObjectName("tab_5")
self.gridLayout_10 = QtWidgets.QGridLayout(self.tab_5)
self.gridLayout_10.setContentsMargins(0, 0, 0, 0)
self.gridLayout_10.setSpacing(0)
self.gridLayout_10.setObjectName("gridLayout_10")
self.horizontalLayout_9 = QtWidgets.QHBoxLayout()
self.horizontalLayout_9.setObjectName("horizontalLayout_9")
self.traceCheckbox = QtWidgets.QCheckBox(self.tab_5)
self.traceCheckbox.setObjectName("traceCheckbox")
self.horizontalLayout_9.addWidget(self.traceCheckbox)
self.resetTraceButton = QtWidgets.QPushButton(self.tab_5)
self.resetTraceButton.setEnabled(False)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed, QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.resetTraceButton.sizePolicy().hasHeightForWidth())
self.resetTraceButton.setSizePolicy(sizePolicy)
self.resetTraceButton.setObjectName("resetTraceButton")
self.horizontalLayout_9.addWidget(self.resetTraceButton)
self.gridLayout_10.addLayout(self.horizontalLayout_9, 0, 0, 1, 1)
self.tracerArea = QtWidgets.QScrollArea(self.tab_5)
self.tracerArea.setWidgetResizable(True)
self.tracerArea.setObjectName("tracerArea")
self.scrollAreaWidgetContents = QtWidgets.QWidget()
self.scrollAreaWidgetContents.setGeometry(QtCore.QRect(0, 0, 96, 26))
self.scrollAreaWidgetContents.setObjectName("scrollAreaWidgetContents")
self.tracerArea.setWidget(self.scrollAreaWidgetContents)
self.gridLayout_10.addWidget(self.tracerArea, 1, 0, 1, 1)
self.controllerTabs.addTab(self.tab_5, "")
self.tab_3 = QtWidgets.QWidget()
self.tab_3.setObjectName("tab_3")
self.gridLayout_8 = QtWidgets.QGridLayout(self.tab_3)
self.gridLayout_8.setContentsMargins(0, 0, 0, 0)
self.gridLayout_8.setSpacing(0)
self.gridLayout_8.setObjectName("gridLayout_8")
self.verticalLayout_4 = QtWidgets.QVBoxLayout()
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.horizontalLayout_8 = QtWidgets.QHBoxLayout()
self.horizontalLayout_8.setObjectName("horizontalLayout_8")
self.movieCheckbox = QtWidgets.QCheckBox(self.tab_3)
self.movieCheckbox.setObjectName("movieCheckbox")
self.horizontalLayout_8.addWidget(self.movieCheckbox)
self.verticalLayout_4.addLayout(self.horizontalLayout_8)
self.movieArea = QtWidgets.QScrollArea(self.tab_3)
self.movieArea.setWidgetResizable(True)
self.movieArea.setObjectName("movieArea")
self.movieAreaWidget = QtWidgets.QWidget()
self.movieAreaWidget.setGeometry(QtCore.QRect(0, 0, 403, 451))
self.movieAreaWidget.setObjectName("movieAreaWidget")
self.movieArea.setWidget(self.movieAreaWidget)
self.verticalLayout_4.addWidget(self.movieArea)
self.gridLayout_8.addLayout(self.verticalLayout_4, 0, 0, 1, 1)
self.horizontalLayout_7 = QtWidgets.QHBoxLayout()
self.horizontalLayout_7.setObjectName("horizontalLayout_7")
self.movieBitrateSpinbox = QtWidgets.QSpinBox(self.tab_3)
self.movieBitrateSpinbox.setMinimum(500)
self.movieBitrateSpinbox.setMaximum(15000)
self.movieBitrateSpinbox.setSingleStep(500)
self.movieBitrateSpinbox.setProperty("value", 15000)
self.movieBitrateSpinbox.setObjectName("movieBitrateSpinbox")
self.horizontalLayout_7.addWidget(self.movieBitrateSpinbox)
self.label_4 = QtWidgets.QLabel(self.tab_3)
self.label_4.setObjectName("label_4")
self.horizontalLayout_7.addWidget(self.label_4)
self.movieFpsSpinbox = QtWidgets.QSpinBox(self.tab_3)
self.movieFpsSpinbox.setMinimum(1)
self.movieFpsSpinbox.setMaximum(999)
self.movieFpsSpinbox.setProperty("value", 25)
self.movieFpsSpinbox.setObjectName("movieFpsSpinbox")
self.horizontalLayout_7.addWidget(self.movieFpsSpinbox)
self.label = QtWidgets.QLabel(self.tab_3)
self.label.setObjectName("label")
self.horizontalLayout_7.addWidget(self.label)
self.movieFileEdit = QtWidgets.QLineEdit(self.tab_3)
self.movieFileEdit.setText("/tmp/out.mpeg4")
self.movieFileEdit.setObjectName("movieFileEdit")
self.horizontalLayout_7.addWidget(self.movieFileEdit)
self.movieButton = QtWidgets.QPushButton(self.tab_3)
self.movieButton.setObjectName("movieButton")
self.horizontalLayout_7.addWidget(self.movieButton)
self.gridLayout_8.addLayout(self.horizontalLayout_7, 1, 0, 1, 1)
self.controllerTabs.addTab(self.tab_3, "")
self.aboutTab = QtWidgets.QWidget()
self.aboutTab.setObjectName("aboutTab")
self.gridLayout_11 = QtWidgets.QGridLayout(self.aboutTab)
self.gridLayout_11.setContentsMargins(0, 0, 0, 0)
self.gridLayout_11.setSpacing(0)
self.gridLayout_11.setObjectName("gridLayout_11")
self.aboutArea = QtWidgets.QScrollArea(self.aboutTab)
self.aboutArea.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff)
self.aboutArea.setWidgetResizable(True)
self.aboutArea.setObjectName("aboutArea")
self.aboutScroll = QtWidgets.QWidget()
self.aboutScroll.setEnabled(True)
self.aboutScroll.setGeometry(QtCore.QRect(0, 0, 233, 114))
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.aboutScroll.sizePolicy().hasHeightForWidth())
self.aboutScroll.setSizePolicy(sizePolicy)
self.aboutScroll.setObjectName("aboutScroll")
self.gridLayout_14 = QtWidgets.QGridLayout(self.aboutScroll)
self.gridLayout_14.setContentsMargins(0, 10, 0, 0)
self.gridLayout_14.setSpacing(3)
self.gridLayout_14.setObjectName("gridLayout_14")
self.aboutGrid = QtWidgets.QGridLayout()
self.aboutGrid.setSizeConstraint(QtWidgets.QLayout.SetDefaultConstraint)
self.aboutGrid.setContentsMargins(-1, 5, -1, -1)
self.aboutGrid.setSpacing(0)
self.aboutGrid.setObjectName("aboutGrid")
self.label_5 = QtWidgets.QLabel(self.aboutScroll)
self.label_5.setEnabled(True)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Minimum)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_5.sizePolicy().hasHeightForWidth())
self.label_5.setSizePolicy(sizePolicy)
self.label_5.setMinimumSize(QtCore.QSize(50, 60))
self.label_5.setMaximumSize(QtCore.QSize(110, 100))
font = QtGui.QFont()
font.setKerning(False)
self.label_5.setFont(font)
self.label_5.setFrameShape(QtWidgets.QFrame.NoFrame)
self.label_5.setFrameShadow(QtWidgets.QFrame.Plain)
self.label_5.setLineWidth(0)
self.label_5.setText("")
self.label_5.setPixmap(QtGui.QPixmap(":/img/woo-logo.svg"))
self.label_5.setScaledContents(True)
self.label_5.setWordWrap(True)
self.label_5.setObjectName("label_5")
self.aboutGrid.addWidget(self.label_5, 0, 0, 1, 1)
self.label_7 = QtWidgets.QLabel(self.aboutScroll)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_7.sizePolicy().hasHeightForWidth())
self.label_7.setSizePolicy(sizePolicy)
self.label_7.setMaximumSize(QtCore.QSize(200, 16777215))
self.label_7.setTextFormat(QtCore.Qt.RichText)
self.label_7.setScaledContents(False)
self.label_7.setWordWrap(False)
self.label_7.setOpenExternalLinks(True)
self.label_7.setTextInteractionFlags(QtCore.Qt.LinksAccessibleByMouse|QtCore.Qt.TextSelectableByKeyboard|QtCore.Qt.TextSelectableByMouse)
self.label_7.setObjectName("label_7")
self.aboutGrid.addWidget(self.label_7, 0, 1, 1, 1)
self.aboutGeneralLabel = QtWidgets.QLabel(self.aboutScroll)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(1)
sizePolicy.setHeightForWidth(self.aboutGeneralLabel.sizePolicy().hasHeightForWidth())
self.aboutGeneralLabel.setSizePolicy(sizePolicy)
self.aboutGeneralLabel.setTextFormat(QtCore.Qt.RichText)
self.aboutGeneralLabel.setScaledContents(False)
self.aboutGeneralLabel.setOpenExternalLinks(True)
self.aboutGeneralLabel.setTextInteractionFlags(QtCore.Qt.LinksAccessibleByMouse|QtCore.Qt.TextSelectableByKeyboard|QtCore.Qt.TextSelectableByMouse)
self.aboutGeneralLabel.setObjectName("aboutGeneralLabel")
self.aboutGrid.addWidget(self.aboutGeneralLabel, 2, 0, 1, 2)
self.aboutExtraLabel = QtWidgets.QLabel(self.aboutScroll)
self.aboutExtraLabel.setText("")
self.aboutExtraLabel.setOpenExternalLinks(True)
self.aboutExtraLabel.setTextInteractionFlags(QtCore.Qt.LinksAccessibleByKeyboard|QtCore.Qt.LinksAccessibleByMouse|QtCore.Qt.TextBrowserInteraction|QtCore.Qt.TextSelectableByKeyboard|QtCore.Qt.TextSelectableByMouse)
self.aboutExtraLabel.setObjectName("aboutExtraLabel")
self.aboutGrid.addWidget(self.aboutExtraLabel, 1, 0, 1, 2)
self.gridLayout_14.addLayout(self.aboutGrid, 0, 0, 1, 1)
self.aboutArea.setWidget(self.aboutScroll)
self.gridLayout_11.addWidget(self.aboutArea, 0, 0, 1, 1)
self.controllerTabs.addTab(self.aboutTab, "")
self.gridLayout_13.addWidget(self.controllerTabs, 0, 0, 1, 1)
self.retranslateUi(Controller)
self.controllerTabs.setCurrentIndex(4)
self.loadButton.clicked.connect(Controller.loadSlot)
self.saveButton.clicked.connect(Controller.saveSlot)
self.playButton.clicked.connect(Controller.playSlot)
self.pauseButton.clicked.connect(Controller.pauseSlot)
self.plotButton.clicked.connect(Controller.plotSlot)
self.generatorCombo.currentIndexChanged['QString'].connect(Controller.generatorComboSlot)
self.inspectButton.clicked.connect(Controller.inspectSlot)
self.reloadButton.clicked.connect(Controller.reloadSlot)
self.stepButton.clicked.connect(Controller.stepSlot)
self.subStepCheckbox.stateChanged['int'].connect(Controller.subStepSlot)
self.show3dButton.toggled['bool'].connect(Controller.show3dSlot)
self.generateButton.clicked.connect(Controller.generateSlot)
self.genSaveParamsButton.clicked.connect(Controller.genSaveParamsSlot)
self.movieCheckbox.toggled['bool'].connect(Controller.movieCheckboxToggled)
self.movieButton.clicked.connect(Controller.movieButtonClicked)
self.resetTraceButton.clicked.connect(Controller.resetTraceClicked)
self.traceCheckbox.toggled['bool'].connect(Controller.traceCheckboxToggled)
self.throttleControl.valueChanged['int'].connect(Controller.throttleChanged)
self.displayCombo.currentIndexChanged['QString'].connect(Controller.displayComboSlot)
QtCore.QMetaObject.connectSlotsByName(Controller)
[docs] def retranslateUi(self, Controller):
_translate = QtCore.QCoreApplication.translate
Controller.setWindowTitle(_translate("Controller", "Woo"))
self.virtTimeLabel.setText(_translate("Controller", "00:000.000m000μ000n"))
self.iterLabel.setText(_translate("Controller", "#0, 0.0/s"))
self.dtLabel.setText(_translate("Controller", "0"))
self.label_8.setText(_translate("Controller", "step"))
self.label_6.setText(_translate("Controller", "real"))
self.realTimeLabel.setText(_translate("Controller", "00:00:00"))
self.label_9.setText(_translate("Controller", "Δt"))
self.loadButton.setToolTip(_translate("Controller", "Load saved simulation"))
self.loadButton.setText(_translate("Controller", "Load"))
self.saveButton.setToolTip(_translate("Controller", "Save current stimulation"))
self.saveButton.setText(_translate("Controller", "Save as"))
self.fileLabel.setText(_translate("Controller", "[no file]"))
self.playButton.setToolTip(_translate("Controller", "<html><head/><body><p>Run simulation</p></body></html>"))
self.playButton.setText(_translate("Controller", "▶"))
self.pauseButton.setToolTip(_translate("Controller", "<html><head/><body><p>Stop simulation</p></body></html>"))
self.pauseButton.setText(_translate("Controller", "▮▮"))
self.stepButton.setToolTip(_translate("Controller", "<html><head/><body><p>Step through simulation</p></body></html>"))
self.stepButton.setText(_translate("Controller", "▶▮"))
self.subStepCheckbox.setToolTip(_translate("Controller", "Step through individual engines rather then whole timesteps"))
self.subStepCheckbox.setText(_translate("Controller", "sub"))
self.multiStepSpinBox.setToolTip(_translate("Controller", "<html><head/><body><p>Number of steps for stepping</p></body></html>"))
self.throttleControl.setToolTip(_translate("Controller", "Limit the simulation speed by inserting pauses between timesteps. Set to 0 (default) to disable any slowdown and run as fast as possible. The number is the maximum number of steps per second since the delay of 1/N is inserted."))
self.reloadButton.setToolTip(_translate("Controller", "Reload simulation from last saved location"))
self.reloadButton.setText(_translate("Controller", "↻"))
self.show3dButton.setText(_translate("Controller", "3D"))
self.plotButton.setText(_translate("Controller", "Plot"))
self.inspectButton.setToolTip(_translate("Controller", "Loook at all simulation objects"))
self.inspectButton.setText(_translate("Controller", "Inspect"))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tabGridLayout), _translate("Controller", "Simulation"))
self.dispMenuButton.setToolTip(_translate("Controller", "Predefined display profiles"))
self.dispMenuButton.setText(_translate("Controller", "☰"))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tab_2), _translate("Controller", "Display"))
self.preMenuButton.setToolTip(_translate("Controller", "Refresh list of available preprocessors"))
self.preMenuButton.setText(_translate("Controller", "☰"))
self.genSaveParamsButton.setText(_translate("Controller", "save"))
self.label_2.setText(_translate("Controller", "<html><head/><body><p>create <span style=\" font-size:8pt;\">(and</span></p></body></html>"))
self.genOpenCheckbox.setText(_translate("Controller", "open)"))
self.label_3.setText(_translate("Controller", "in"))
self.genMemoryCombo.setItemText(0, _translate("Controller", "memory"))
self.genMemoryCombo.setItemText(1, _translate("Controller", "file"))
self.generatorFilenameEdit.setText(_translate("Controller", "gen"))
self.generateButton.setText(_translate("Controller", "▶"))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tab_4), _translate("Controller", "Preprocess"))
self.traceCheckbox.setText(_translate("Controller", "Trace particles"))
self.resetTraceButton.setText(_translate("Controller", "Reset"))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tab_5), _translate("Controller", "Trace"))
self.movieCheckbox.setToolTip(_translate("Controller", "<html><head/><body><p>Take snapshots of simulation periodically; use stepPeriod/iterPeriod/realPeriod to set frequency of snapshots.</p></body></html>"))
self.movieCheckbox.setText(_translate("Controller", "Take snapshots"))
self.label_4.setToolTip(_translate("Controller", "<html><head/><body><p>Bitrate of the resulting movie; it is proportional to quality and resulting file size.</p></body></html>"))
self.label_4.setText(_translate("Controller", "kbps"))
self.label.setToolTip(_translate("Controller", "<html><head/><body><p>Frames per second</p></body></html>"))
self.label.setText(_translate("Controller", "fps"))
self.movieFileEdit.setToolTip(_translate("Controller", "<html><head/><body><p>Output file name</p></body></html>"))
self.movieButton.setText(_translate("Controller", "Make video"))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tab_3), _translate("Controller", "Video"))
self.label_7.setText(_translate("Controller", "<html><head/><body><p align=\"center\"><a href=\"http://www.woodem.eu\"><span style=\" font-weight:600; text-decoration: underline; color:#0000ff;\">Woo[dem]</span></a></p><p align=\"center\">© <a href=\"mailto:vaclav.smilauer@woodem.eu\"><span style=\" text-decoration: underline; color:#0000ff;\">Václav Šmilauer</span></a> and others</p><p align=\"center\">License: <a href=\"http://opensource.org/licenses/gpl-2.0.php\"><span style=\" text-decoration: underline; color:#0000ff;\">GNU GPL v2</span></a></p></body></html>"))
self.aboutGeneralLabel.setText(_translate("Controller", "(filled at woo startup)"))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.aboutTab), _translate("Controller", "About"))
from . import img_rc