From 0a9bdb12a73bdff748ff4802ed419f80eafce16d Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Sun, 7 Jun 2015 01:50:10 +0200
Subject: [PATCH] Re generated UI

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

diff --git a/relational_gui/maingui.py b/relational_gui/maingui.py
index d92a842..b3d1cee 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: Thu Jun  4 22:17:58 2015
+# Created: Sun Jun  7 01:48:25 2015
 #      by: PyQt5 UI code generator 5.3.2
 #
 # WARNING! All changes made in this file will be lost!
@@ -37,6 +37,8 @@ class Ui_MainWindow(object):
         self.verticalLayout_5.addWidget(self.cmdSurvey)
         self.verticalLayout_11.addWidget(self.groupBox_3)
         self.groupOperators = QtWidgets.QGroupBox(self.layoutWidget)
+        self.groupOperators.setTitle("")
+        self.groupOperators.setFlat(True)
         self.groupOperators.setObjectName("groupOperators")
         self.verticalLayout_10 = QtWidgets.QVBoxLayout(self.groupOperators)
         self.verticalLayout_10.setObjectName("verticalLayout_10")
@@ -395,7 +397,6 @@ class Ui_MainWindow(object):
         self.groupBox_3.setTitle(_translate("MainWindow", "Menu"))
         self.cmdAbout.setText(_translate("MainWindow", "About"))
         self.cmdSurvey.setText(_translate("MainWindow", "Survey"))
-        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 be6b028..e22ee71 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: Thu Jun  4 22:17:58 2015
+# Created: Sun Jun  7 01:48:25 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 813d23f..f80a9be 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: Thu Jun  4 22:17:58 2015
+# Created: Sun Jun  7 01:48:25 2015
 #      by: PyQt5 UI code generator 5.3.2
 #
 # WARNING! All changes made in this file will be lost!