A workaround to make the Toolbox usable on recent versions of Ubuntu 12

I just tried running the Toolbox on a very recent version of Ubuntu 12 (Precise Pangolin).

I found that the menus don't appear, so the Toolbox is unusable.

stdout/stderr reports errors like this:

(SWT:3716): LIBDBUSMENU-GTK-CRITICAL **: watch_submenu: assertion `GTK_IS_MENU_SHELL(menu)' failed

The cause is apparently a bug in Eclipse: https://bugs.eclipse.org/bugs/show_bug.cgi?id=330563

The workaround is to set an environment variable, by creating a script to run the Toolbox.

The following worked for me:

nano launch.sh

#!/bin/bash

export UBUNTU_MENUPROXY=0

toolbox/toolbox

chmod +x launch.sh
./launch.sh

Chris