Use of Strings for MenuManager

Rather than using the ID of the menu requested when pushing a button,
the name of the menu itself can be used.