Make it easier to figure out the where a menuselection starts and ends

by controling the font.
This commit is contained in:
Fred Drake 2003-07-16 14:01:56 +00:00
parent a66b6c1267
commit bd5fdd93a9
3 changed files with 4 additions and 2 deletions

View file

@ -95,7 +95,8 @@ sub do_cmd_textless{ '<' . $_[0]; }
sub do_cmd_textunderscore{ '_' . $_[0]; }
sub do_cmd_infinity{ '∞' . $_[0]; }
sub do_cmd_plusminus{ '±' . $_[0]; }
sub do_cmd_menuselection{ $_[0]; }
sub do_cmd_menuselection{
return use_wrappers($_[0], '<span class="menuselection">', '</span>'); }
sub do_cmd_sub{ ' > ' . $_[0]; }