CCF_100/relational
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Regenerated ui

Browse Source
This commit is contained in:
Salvo 'LtWorf' Tomaselli 2015-06-04 22:31:35 +02:00
parent bae0d482a2
commit 6b66b48819
3 changed files with 21 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
relational_gui/maingui.py
View File

@ -2,7 +2,7 @@
# Form implementation generated from reading ui file 'relational_gui/maingui.ui'
#
# Created: Tue Jun 2 15:11:30 2015
# Created: Thu Jun 4 22:17:58 2015
# by: PyQt5 UI code generator 5.3.2
#
# WARNING! All changes made in this file will be lost!
@ -36,65 +36,65 @@ class Ui_MainWindow(object):
self.cmdSurvey.setObjectName("cmdSurvey")
self.verticalLayout_5.addWidget(self.cmdSurvey)
self.verticalLayout_11.addWidget(self.groupBox_3)
self.groupBox_4 = QtWidgets.QGroupBox(self.layoutWidget)
self.groupBox_4.setObjectName("groupBox_4")
self.verticalLayout_10 = QtWidgets.QVBoxLayout(self.groupBox_4)
self.groupOperators = QtWidgets.QGroupBox(self.layoutWidget)
self.groupOperators.setObjectName("groupOperators")
self.verticalLayout_10 = QtWidgets.QVBoxLayout(self.groupOperators)
self.verticalLayout_10.setObjectName("verticalLayout_10")
self.cmdProduct = QtWidgets.QPushButton(self.groupBox_4)
self.cmdProduct = QtWidgets.QPushButton(self.groupOperators)
self.cmdProduct.setText("*")
self.cmdProduct.setObjectName("cmdProduct")
self.verticalLayout_10.addWidget(self.cmdProduct)
self.cmdDifference = QtWidgets.QPushButton(self.groupBox_4)
self.cmdDifference = QtWidgets.QPushButton(self.groupOperators)
self.cmdDifference.setText("-")
self.cmdDifference.setObjectName("cmdDifference")
self.verticalLayout_10.addWidget(self.cmdDifference)
self.cmdUnion = QtWidgets.QPushButton(self.groupBox_4)
self.cmdUnion = QtWidgets.QPushButton(self.groupOperators)
self.cmdUnion.setText("∪")
self.cmdUnion.setObjectName("cmdUnion")
self.verticalLayout_10.addWidget(self.cmdUnion)
self.cmdIntersection = QtWidgets.QPushButton(self.groupBox_4)
self.cmdIntersection = QtWidgets.QPushButton(self.groupOperators)
self.cmdIntersection.setText("∩")
self.cmdIntersection.setObjectName("cmdIntersection")
self.verticalLayout_10.addWidget(self.cmdIntersection)
self.cmdDivision = QtWidgets.QPushButton(self.groupBox_4)
self.cmdDivision = QtWidgets.QPushButton(self.groupOperators)
self.cmdDivision.setText("÷")
self.cmdDivision.setObjectName("cmdDivision")
self.verticalLayout_10.addWidget(self.cmdDivision)
self.cmdJoin = QtWidgets.QPushButton(self.groupBox_4)
self.cmdJoin = QtWidgets.QPushButton(self.groupOperators)
self.cmdJoin.setText("⋈")
self.cmdJoin.setObjectName("cmdJoin")
self.verticalLayout_10.addWidget(self.cmdJoin)
self.cmdOuterLeft = QtWidgets.QPushButton(self.groupBox_4)
self.cmdOuterLeft = QtWidgets.QPushButton(self.groupOperators)
self.cmdOuterLeft.setText("⧑")
self.cmdOuterLeft.setObjectName("cmdOuterLeft")
self.verticalLayout_10.addWidget(self.cmdOuterLeft)
self.cmdOuterRight = QtWidgets.QPushButton(self.groupBox_4)
self.cmdOuterRight = QtWidgets.QPushButton(self.groupOperators)
self.cmdOuterRight.setText("⧒")
self.cmdOuterRight.setObjectName("cmdOuterRight")
self.verticalLayout_10.addWidget(self.cmdOuterRight)
self.cmdOuter = QtWidgets.QPushButton(self.groupBox_4)
self.cmdOuter = QtWidgets.QPushButton(self.groupOperators)
self.cmdOuter.setText("⧓")
self.cmdOuter.setObjectName("cmdOuter")
self.verticalLayout_10.addWidget(self.cmdOuter)
self.cmdProjection = QtWidgets.QPushButton(self.groupBox_4)
self.cmdProjection = QtWidgets.QPushButton(self.groupOperators)
self.cmdProjection.setText("π")
self.cmdProjection.setObjectName("cmdProjection")
self.verticalLayout_10.addWidget(self.cmdProjection)
self.cmdSelection = QtWidgets.QPushButton(self.groupBox_4)
self.cmdSelection = QtWidgets.QPushButton(self.groupOperators)
self.cmdSelection.setText("σ")
self.cmdSelection.setObjectName("cmdSelection")
self.verticalLayout_10.addWidget(self.cmdSelection)
self.cmdRename = QtWidgets.QPushButton(self.groupBox_4)
self.cmdRename = QtWidgets.QPushButton(self.groupOperators)
self.cmdRename.setText("ρ")
self.cmdRename.setObjectName("cmdRename")
self.verticalLayout_10.addWidget(self.cmdRename)
self.cmdArrow = QtWidgets.QPushButton(self.groupBox_4)
self.cmdArrow = QtWidgets.QPushButton(self.groupOperators)
self.cmdArrow.setText("➡")
self.cmdArrow.setObjectName("cmdArrow")
self.verticalLayout_10.addWidget(self.cmdArrow)
spacerItem = QtWidgets.QSpacerItem(20, 25, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_10.addItem(spacerItem)
self.verticalLayout_11.addWidget(self.groupBox_4)
self.verticalLayout_11.addWidget(self.groupOperators)
self.splitter_3 = QtWidgets.QSplitter(self.splitter_4)
self.splitter_3.setOrientation(QtCore.Qt.Horizontal)
self.splitter_3.setObjectName("splitter_3")
@ -395,7 +395,7 @@ class Ui_MainWindow(object):
self.groupBox_3.setTitle(_translate("MainWindow", "Menu"))
self.cmdAbout.setText(_translate("MainWindow", "About"))
self.cmdSurvey.setText(_translate("MainWindow", "Survey"))
self.groupBox_4.setTitle(_translate("MainWindow", "Operators"))
self.groupOperators.setTitle(_translate("MainWindow", "Operators"))
self.cmdProduct.setToolTip(_translate("MainWindow", "Product"))
self.cmdDifference.setToolTip(_translate("MainWindow", "Difference"))
self.cmdUnion.setToolTip(_translate("MainWindow", "Union"))

2
relational_gui/rel_edit.py
View File

@ -2,7 +2,7 @@
# Form implementation generated from reading ui file 'relational_gui/rel_edit.ui'
#
# Created: Tue Jun 2 15:11:30 2015
# Created: Thu Jun 4 22:17:58 2015
# by: PyQt5 UI code generator 5.3.2
#
# WARNING! All changes made in this file will be lost!

2
relational_gui/survey.py
View File

@ -2,7 +2,7 @@
# Form implementation generated from reading ui file 'relational_gui/survey.ui'
#
# Created: Tue Jun 2 15:11:30 2015
# Created: Thu Jun 4 22:17:58 2015
# by: PyQt5 UI code generator 5.3.2
#
# WARNING! All changes made in this file will be lost!