Estou usando o Ubuntu 13.10 e também estou usando o Gnome 3.10, next, etc. ppas. Eu tenho os ambientes Cinnamon, Gnome Shell e Unity instalados. Todos os ambientes e aplicativos funcionam bem.
No entanto, há um pequeno incômodo com os menus do aplicativo global Unity para determinados aplicativos. Por exemplo, as opções globais do menu estão desativadas (acinzentadas) para dizer gedit. Novamente, as opções do menu funcionam corretamente para alguns outros aplicativos.
Todas as sugestões para resolver este problema são bem-vindas.