add \guilabel macro to mark labels that occur in user interfaces
diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
index 89e12d5..d5d000f 100644
--- a/Doc/perl/python.perl
+++ b/Doc/perl/python.perl
@@ -95,9 +95,12 @@
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> > <span class="guilabel">' . $_[0]; }
# words typeset in a special way (not in HTML though)