Le lundi 26 novembre 2012 à 22:55 +0100, Julien Cristau a écrit : > On Mon, Nov 26, 2012 at 14:19:29 +0100, Josselin Mouette wrote: > > - removing support for the Debian menu, which can only cause trouble > > with gnome-shell when enabled > > > What does that mean for fallback?
It means the same for fallback. Since both use the same gnome-menus library, there is no simple way to enable it for fallback and not for the shell. Note that the Debian menu has been disabled by default for a lot of time. Cheers, -- .''`. Josselin Mouette : :' : `. `' `- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/1353971238.23344.6.camel@tomoe

