id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
1480	aditional functions in MenuManager	Pedro Gea	Jorge	"It is requested the implementation of 3 new members functions in MenuManager:

 * {{{Real replaceMenuCommand( Text Name, NameBlock args )}}}: similar to defineMenuCommand but replacing the option if it is already defined.
 * {{{Real removeMenuCommand( Text Name )}}}: remove a previously defined option.
 * {{{Real findMenuCommand( Text Name )}}}: return the index > 0 of the option is defined or 0 in other case."	task	new	high	TOL Packages	GuiTools	3.1	major