From b0f527018d532f4dccef10131a45ff2deb7d0522 Mon Sep 17 00:00:00 2001
From: Hans Baier <hansfbaier@googlemail.com>
Date: Thu, 11 Oct 2012 08:23:18 +0000
Subject: [PATCH] disable Ubuntu global menu for ardev

git-svn-id: svn://localhost/ardour2/branches/3.0@13246 d708f5d6-7413-0410-9779-e7cbd77b26cf
---
 gtk2_ardour/ardev | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gtk2_ardour/ardev b/gtk2_ardour/ardev
index aee9a48102..1c6b24ec54 100755
--- a/gtk2_ardour/ardev
+++ b/gtk2_ardour/ardev
@@ -1,4 +1,5 @@
 #!/bin/sh
 . `dirname "$0"`/../build/gtk2_ardour/ardev_common_waf.sh
 LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
+export UBUNTU_MENUPROXY=""
 exec $TOP/$EXECUTABLE "$@"