Problema entre Unity y los Menúes del Dart Editor en Ubuntu 13.10

Cuando ejecutas el Dart Editor en Ubuntu 13.10, los menues se integran a Unity y eso impide que podamos desplegarlos. Para evitar ello, por el momento, ejecuté los siguientes comandos desde el terminal para levantar el editor. Tomen en cuenta que las rutas que estoy empleando son las que tengo en mi PC por lo que en otros casos esta variará.

sudo env UBUNTU_MENUPROXY=/home/armando/Dev/dart/DartEditor

sudo /home/armando/Dev/dart/DartEditor

Sin duda esto constituye un workaround, asi que seguiré buscando una forma definitiva y permanente para solucionarlo.