Separate menu text from menu name in XBoard