Мы с Стефано говорили об этом в чате сегодня. Я думаю, что он работает в другом направлении, но у меня есть несколько способов, основанных на исходном опыте.
Апплет Main Menubar является частью gnome-panel, поэтому вы можете загрузить источник для этого , внесите изменения, чтобы удалить пункт меню «Редактировать меню», а затем переупаковать его. Проблема с этим - вы либо потеряете свои изменения, когда получите обновление, либо сохраните версию пакета, и не будете получать автоматические обновления. Используйте другое меню. Там есть отличные варианты с такими вещами, как Cardapio. Cardapio - это Python, поэтому немного легче сгибать вашу волю. Просто отредактируйте /usr/lib/cardapio/Cardapio.py. Здесь у вас есть несколько вариантов, вы можете сломать launch_edit_app(). Или вы можете выследить, когда опция будет нарисована, используя что-то вроде этого:grep -R 'launch_edit_app' /usr/lib/cardapio/
Конечно, вы хотите заблокировать панель, чтобы кто-то просто не добавил обычное меню.