Как отредактировать главное меню в Gnome?
 

Теперь я обладатель desktop 5.0 (вполне счастливый) => у меня гном.Нужный софт я установил, но из него в меню попало не очень много, хочется руками расширить подменю "Приложения/Программирование", так как для многих вещей есть GUI (то и вызывать их хочу через меню).Первое, что сделал - установил пакет с говорящим названием gnome-menu-editor, который предоставляет py-скрипт под названием GMenuSimpleEditor. Этот скрипт может отключить некоторые пункты меню, а добавлять и изменять пункты он не может.Как же отредактировать меню в Gnome?