From 730d298b356870204d7f1943476c79afc84fcef3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rub=C3=A9n=20Rodr=C3=ADguez?= <ruben@trisquel.info>
Date: Mon, 18 Mar 2013 20:57:01 +0100
Subject: [PATCH] Removed midori private browsing menu icon

---
 helpers/make-midori | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/helpers/make-midori b/helpers/make-midori
index 7408749b..531cc3a0 100644
--- a/helpers/make-midori
+++ b/helpers/make-midori
@@ -17,11 +17,16 @@
 #    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
 #
 
-VERSION=1
+VERSION=2
 EXTERNAL='deb-src http://ppa.launchpad.net/midori/ppa/ubuntu $UPSTREAM main'
 
 . ./config
 
+# https://trisquel.info/en/issues/7753
+echo "NoDisplay=true" >> data/midori-private.desktop.in
+#sed '/midori-private/d' -i ./po/POTFILES.in
+sed '/Private Shortcut/,1000d' -i data/midori.desktop.in 
+
 rm debian/patches -rf
 
 cat << EOF > debian/Trisquel-config
-- 
GitLab