# HG changeset patch # User Wolfgang Rosenauer # Date 1342589067 -7200 # Node ID 7e0bc567129876bcb291672305333deadc820e15 # Parent f188ba3bcc709f95b34fb7f6ee9585102a00bdd3 Gnome3 showed Firefox-bin instead of Firefox in the tasklist; as firefox and firefox-bin are really the same binary just the the first one to execute diff -r f188ba3bcc70 -r 7e0bc5671298 MozillaFirefox/mozilla.sh.in --- a/MozillaFirefox/mozilla.sh.in Wed Jul 18 07:23:34 2012 +0200 +++ b/MozillaFirefox/mozilla.sh.in Wed Jul 18 07:24:27 2012 +0200 @@ -57,7 +57,7 @@ MOZ_DIST_BIN="%PREFIX" MOZ_DIST_LIB="%PROGDIR" MOZ_APPNAME="%APPNAME" -MOZ_PROGRAM="$MOZ_DIST_LIB/$MOZ_APPNAME-bin" +MOZ_PROGRAM="$MOZ_DIST_LIB/$MOZ_APPNAME" MOZ_APP_LAUNCHER="$MOZ_DIST_LIB/$MOZ_APPNAME.sh" if [ "$0" = "$MOZ_APP_LAUNCHER" ]; then