From 82df40591bbc31f8e1e457a6e2c0068959fcdd2f Mon Sep 17 00:00:00 2001
From: Filippo Scognamiglio <flscogna@gmail.com>
Date: Thu, 18 Sep 2014 10:33:40 +0200
Subject: [PATCH] Workaround for menubar margins.

---
 app/qml/main.qml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/app/qml/main.qml b/app/qml/main.qml
index 4071404..4e96aee 100644
--- a/app/qml/main.qml
+++ b/app/qml/main.qml
@@ -36,6 +36,9 @@ ApplicationWindow{
     property bool fullscreen: shadersettings.fullscreen
     onFullscreenChanged: visibility = (fullscreen ? Window.FullScreen : Window.Windowed)
 
+    //Workaround: if menubar is assigned ugly margins are visible.
+    menuBar: shadersettings.showMenubar ? defaultMenuBar : null
+
     flags: Qt.WA_TranslucentBackground
     color: "#00000000"
     title: qsTr("cool-retro-term")
@@ -104,9 +107,8 @@ ApplicationWindow{
             aboutDialog.show();
         }
     }
-
-    menuBar: MenuBar {
-        id: menubar
+    MenuBar {
+        id: defaultMenuBar
         Menu {
             title: qsTr("File")
             visible: shadersettings.showMenubar