id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
1642	GuiTools: A separator in MenuManager	Pedro Gea	Jorge	"Se solicita la posibilidad de introducir separadores (una opción de menú que no sea tal, sino una línea) en los menús contextuales. Mencionado en el tique #943.

Podría declararse quizá como:
{{{
Real GuiTools::MenuManager::defineMenuSeparator(""@Ejemplo"", [[ 
  Text name = ""Ejemplo_A/Separator"",
  Real flagGroup = 0,
  Real rank = 110
]]);
}}}
ya que debería poder indicarse:
 * si es para un menú o un submenú ({{{name}}}), 
 * en qué orden ha de aparecer ({{{rank}}}) y 
 * si ha de hacerlo en el menú de una instancia o en el de varias ({{{flagGroup}}}).
"	enhancement	new	normal	TOLBase Revitalization	GuiTools	3.1	normal