add \guilabel macro to mark labels that occur in user interfaces

This commit is contained in:
Fred Drake 2004-01-23 08:52:28 +00:00
parent 226f697560
commit f0f6d12cd4
4 changed files with 24 additions and 4 deletions

View file

@ -95,9 +95,12 @@ sub do_cmd_textless{ '<' . $_[0]; }
sub do_cmd_textunderscore{ '_' . $_[0]; }
sub do_cmd_infinity{ '∞' . $_[0]; }
sub do_cmd_plusminus{ '±' . $_[0]; }
sub do_cmd_guilabel{
return use_wrappers($_[0]. '<span class="guilabel">', '</span>'); }
sub do_cmd_menuselection{
return use_wrappers($_[0], '<span class="menuselection">', '</span>'); }
sub do_cmd_sub{ ' > ' . $_[0]; }
return use_wrappers($_[0], '<span class="guilabel">', '</span>'); }
sub do_cmd_sub{
return '</span> &gt; <span class="guilabel">' . $_[0]; }
# words typeset in a special way (not in HTML though)