Есть вопрос! — Отключение globalmenu для определённого приложения.
В частности, monodevelop. Меню у него в панель переносится, но его элементы не нажимаются. Гугля, пришёл к выводу, что проще отключить globalmenu для моноdevelop. Как организовать?
ничего не делает.
$ globalmenu-settings --name=monodevelop show-local-menu TRUE
ничего не делает.