On Sun, 18 May 2008 16:58:03 +0200 Miroslav Kure wrote: > > When I _have_ a line for this entity, let's say > > <!ENTITY escapekey "<guibutton>Esc-Taste</guibutton>"> > > in my de.ent, the output is > > "Esc-Taste" _but_written_in_standard_font, _not_bold_ > > Is it because the original (English) definition looks like the > following? > > <!ENTITY escapekey "<keycap>Esc</keycap>"> > > I.e. you are using different tag.
Uuh, indeed. I didn't looked at this carefully: I used guibutton tag, while english uses keycap tag. Sorry I will close this bugreport. Kind regards Holger -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
