/usr/local/lib/swipl/library/ext/pldoc/pldoc/doc_html.pl
All Application Manual Name SummaryHelp

  • pldoc
    • pldoc
      • doc_process.pl
      • doc_register.pl
      • doc_modes.pl
      • doc_wiki.pl -- PlDoc wiki parser
      • doc_util.pl -- PlDoc utilities
      • man_index.pl -- Index the HTML manuals
      • doc_html.pl -- PlDoc HTML backend
        • doc_is_public_object/1
        • doc_for_file/2
        • doc_resources//1
        • doc_file_objects/5
        • ensure_doc_objects/1
        • module_info/3
        • doc_hide_private/3
        • private/2
        • multifile/2
        • file_header//2
        • edit_button//2
        • zoom_button//2
        • source_button//2
        • objects//2
        • is_pi/1
        • object_page//2
        • object_footer//2
        • object_page_footer//2
        • object_synopsis//2
        • unquote_filespec/2
        • doc_write_html/3
        • doc_page_dom/3
        • print_html_head/1
        • tags//1
        • tag//2
        • doc_tag_title/2
        • object_tree//3
        • pred_dt//3
        • pred_edit_button//2
        • object_edit_button//2
        • object_source_button//2
        • is_op_type/2
        • term//3
        • predref//1
        • predref//2
        • nopredref//1
        • flagref//1
        • cite//1
        • object_ref//2
        • object_href/2
        • object_href/3
        • object_name//2
        • file//1
        • file//2
        • existing_linked_file/2
        • include//3
        • doc_for_wiki_file/2
        • mode_anchor_name/2
        • pred_anchor_name/3
      • doc_man.pl -- Process SWI-Prolog HTML manuals
      • doc_search.pl -- Search form and reply
      • doc_index.pl -- Create indexes
      • doc_htmlsrc.pl -- HTML source pretty-printer
      • doc_colour.pl
      • doc_access.pl
      • doc_pack.pl -- PlDoc for Prolog extension packs
      • doc_words.pl -- Reason about Prolog jargon
 zoom_button(BaseName, +Options)// is det
Add zoom in/out button to show/hide the private documentation.