On Tuesday 23 November 2004 21:36, Holger Wansing wrote: > I just noticed that the <guimenuitem> tag is also not extra formatted. Well, it is, but not if it's used in the wrong way. See cheatsheet.xml in manual directory for example of correct usage.