correctly (?) indicate muted status of audio regions

[ardour.git] / gtk2_ardour / ardev

diff --git a/gtk2_ardour/ardev b/gtk2_ardour/ardev
index 04719908b48a51d8bc76f43d655ccec5b8b45359..c1cbd2d1d72beeef9d8b4dbd3a3554382072a4c6 100755 (executable)
--- a/gtk2_ardour/ardev
+++ b/gtk2_ardour/ardev
@@ -1,3 +1,4 @@
 #!/bin/sh
-. `dirname "$0"`/ardev_common.sh
-exec gtk2_ardour/ardour.bin --novst $*
+. `dirname "$0"`/../build/gtk2_ardour/ardev_common_waf.sh
+export UBUNTU_MENUPROXY=""
+exec $TOP/$EXECUTABLE "$@"