From 6b66b488197ee4f10e9a535183aba993ee493064 Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Thu, 4 Jun 2015 22:31:35 +0200
Subject: [PATCH] Regenerated ui

---
 relational_gui/maingui.py  | 38 +++++++++++++++++++-------------------
 relational_gui/rel_edit.py |  2 +-
 relational_gui/survey.py   |  2 +-
 3 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/relational_gui/maingui.py b/relational_gui/maingui.py
index 4e04965..d92a842 100644
--- a/relational_gui/maingui.py
+++ b/relational_gui/maingui.py
@@ -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"))
diff --git a/relational_gui/rel_edit.py b/relational_gui/rel_edit.py
index bfb7c56..be6b028 100644
--- a/relational_gui/rel_edit.py
+++ b/relational_gui/rel_edit.py
@@ -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!
diff --git a/relational_gui/survey.py b/relational_gui/survey.py
index 7841f45..813d23f 100644
--- a/relational_gui/survey.py
+++ b/relational_gui/survey.py
@@ -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!