]> granicus.if.org Git - python/commitdiff
Control when/where navigation bars will appear: top & bottom of each page.
authorFred Drake <fdrake@acm.org>
Tue, 11 Aug 1998 03:14:50 +0000 (03:14 +0000)
committerFred Drake <fdrake@acm.org>
Tue, 11 Aug 1998 03:14:50 +0000 (03:14 +0000)
Include an additional button to the module index in the nav. bars if we
generate a module index.  Still need a button image, but the ALT text should
do for now.

Doc/perl/l2hinit.perl

index 9f8c04ee6ab0f4c42a3ed56aaab284f0ae87556c..b098ba224e141b182c5a4244dbcb43c4a2236db2 100644 (file)
@@ -13,8 +13,7 @@ use Cwd qw(getcwd);
 
 package main;
 
-$INFO = 1;              # 0 = do not make a "About this document..." section
-$MAX_LINK_DEPTH = 3;
+$MAX_LINK_DEPTH = 2;
 $ADDRESS = '';
 
 $NO_FOOTNODE = 1;
@@ -27,6 +26,11 @@ $SHOW_SECTION_NUMBERS = 1;
 
 $ICONSERVER = '../icons';
 
+# Control where the navigation bars should show up:
+$TOP_NAVIGATION = 1;
+$BOTTOM_NAVIGATION = 1;
+$AUTO_NAVIGATION = 0;
+
 $BODYTEXT = 'bgcolor="#ffffff"';
 $CHILDLINE = "\n<p><hr>\n";
 $VERBOSITY = 0;
@@ -81,13 +85,15 @@ sub custom_driver_hook{
 }
 
 
+$CUSTOM_BUTTONS = '';
+
 sub make_nav_panel{
     ($NEXT_TITLE ? $NEXT : '')
       . ($UP_TITLE ? $UP : '')
       . ($PREVIOUS_TITLE ? $PREVIOUS : '')
       . $CONTENTS
+      . $CUSTOM_BUTTONS
       . $INDEX
-#      . " $CUSTOM_BUTTONS"
       . "\n<br>\n"
       . ($NEXT_TITLE ? "<b>Next:</b> $NEXT_TITLE\n" : '')
       . ($UP_TITLE ? "<b>Up:</b> $UP_TITLE\n" : '')
@@ -346,6 +352,11 @@ sub add_bbl_and_idx_dummy_commands {
        my $rx = "([\\\\]begin\\s*$O\\d+$C\\s*theindex[\\s\\S]*)"
                 . "([\\\\]begin\\s*$O\\d+$C\\s*theindex)";
        s/$rx/\\textohtmlmoduleindex \1 \\textohtmlindex \2/o;
+       # Add a button to the navigation areas:
+       $CUSTOM_BUTTONS .= ("<a\n href=\"modindex.html\"><img"
+                           . " src=\"$ICONSERVER$dd"
+                           . "modules_motif.gif\" border=0"
+                           . " alt=\"[Modules]\"></a>");
     }
     else {
        $global{'max_id'} = $id; # not sure why....