From f363d4b536bdb87136cba37d755cbbe66dd99d35 Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Sun, 7 Jun 2015 01:49:53 +0200
Subject: [PATCH] removed title from operators groupbox

---
 relational_gui/maingui.ui | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/relational_gui/maingui.ui b/relational_gui/maingui.ui
index 9750a6c..d40a7d5 100644
--- a/relational_gui/maingui.ui
+++ b/relational_gui/maingui.ui
@@ -49,7 +49,10 @@
         <item>
          <widget class="QGroupBox" name="groupOperators">
           <property name="title">
-           <string>Operators</string>
+           <string/>
+          </property>
+          <property name="flat">
+           <bool>true</bool>
           </property>
           <layout class="QVBoxLayout" name="verticalLayout_10">
            <item>