Hello,
Please, don't take me as too much exacting man, but Mojca's (partial) solution
\def\hotkey#1{\inframed[corner=00]{\ #1\ }}
is more suitable for me than the Wolfgangs's (complete) one:
\defineframed
[dohotkey]
[strut=yes,corner=00,frameoffset=-0.2em,location=low]
\definehspace[hotkey][0.6em]
\def\hotkey#1{\dohotkey{\hspace[hotkey]#1\hspace[hotkey]}}
The latter add space between surrounding words proportionally to the in-frame
space.
The ideal solution would be
\def\hotkey#1{\inframed[corner=00, location=low, height=\lineheight]{\ #1\ }}
but it doesn't work. Maybe it is a bug, ideed?
Best,
Vyatcheslav
_______________________________________________
ntg-context mailing list
ntg-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/ntg-context
