Improvement to the formatting of the GUI menu item text in the manual.
The text can now have a line break between the items, just after the arrows. This significantly improves the paragraph layout in the manual.
Authored by: bugman 2014-02-19
Parent: [r22201]
Child: [r22203]
