I think that could be useful, to add some customized menus to gnome-terminal gui, (ie, to add a menu-submenu with usual and complex shell tasks ...)

Which file (almost terminal.xml i think) must i modify in order to some customized gtk menus?

Thanks a lot for your help,

Steve,