Documentation Source Text

Check-in [3de5aaebc8]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Automatically disable the "Search" menu option if the document does not originate from an HTTP server, since there is no chance of running the CGI script in that case.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | mobile-friendly
Files: files | file ages | folders
SHA1: 3de5aaebc8883eabef85e7cbc489bc00718e88fb
User & Date: drh 2016-08-31 20:47:44.358
Context
2016-08-31
20:59
Close the "Menu" button submenu before leaving the page, in case the user returns to the page using the "Back" button. (check-in: 582eb4ef8a user: drh tags: mobile-friendly)
20:47
Automatically disable the "Search" menu option if the document does not originate from an HTTP server, since there is no chance of running the CGI script in that case. (check-in: 3de5aaebc8 user: drh tags: mobile-friendly)
20:03
Use the variable-number-of-columns routine for the keyword list. (check-in: 9e95bb666d user: drh tags: mobile-friendly)
Changes
Unified Diff Ignore Whitespace Patch
Changes to document_header.tcl.
︙︙
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

                           Menu</a>
    <li class='wideonly'><a href='${path}about.html'>About</a>
    <li class='desktoponly'><a href="${path}docs.html">Documentation</a>
    <li class='desktoponly'><a href="${path}download.html">Download</a>
    <li class='wideonly'><a href='${path}copyright.html'>License</a>
    <li class='desktoponly'><a href="${path}support.html">Support</a>
    <li class='desktoponly'><a href="http://www.hwaci.com/sw/sqlite/prosupport.html">Purchase</a>
    <li class='search'><a href="#">Search</a>
    </ul>
    </div>
    <div class="menu submenu" id="submenu">
    <ul>
    <li><a href='${path}docs.html'>Documentation</a>
    <li><a href='${path}support.html'>Support</a>
    <li><a href='http://www.hwaci.com/sw/sqlite/prosupport.html'>Purchase</a>








|








32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

                           Menu</a>
    <li class='wideonly'><a href='${path}about.html'>About</a>
    <li class='desktoponly'><a href="${path}docs.html">Documentation</a>
    <li class='desktoponly'><a href="${path}download.html">Download</a>
    <li class='wideonly'><a href='${path}copyright.html'>License</a>
    <li class='desktoponly'><a href="${path}support.html">Support</a>
    <li class='desktoponly'><a href="http://www.hwaci.com/sw/sqlite/prosupport.html">Purchase</a>
    <li class='search' id='search_menubutton'><a href="search">Search</a>
    </ul>
    </div>
    <div class="menu submenu" id="submenu">
    <ul>
    <li><a href='${path}docs.html'>Documentation</a>
    <li><a href='${path}support.html'>Support</a>
    <li><a href='http://www.hwaci.com/sw/sqlite/prosupport.html'>Purchase</a>
︙︙
54
55
56
57
58
59
60
61





62
63
64
65
66
67
68
69
70
71

        var w = document.getElementById("submenu");
        if( w.style.display=="block" ){
          w.style.display = "none";
        }else{
          w.style.display = "block";
        }
      }
      





      /* 
      ** Set the cookie named "name" to value "value". Expires in "days" days.
      */
      function createCookie(name,value,days) {
        if (days) {
          var date = new Date();
          date.setTime(date.getTime()+(days*24*60*60*1000));
          var expires = "; expires="+date.toGMTString();
        }else{
          var expires = "";








|
>
>
>
>
>
|
|
<








54
55
56
57
58
59
60
61
62
63
64
65
66
67
68

69
70
71
72
73
74
75

        var w = document.getElementById("submenu");
        if( w.style.display=="block" ){
          w.style.display = "none";
        }else{
          w.style.display = "block";
        }
      }

      /* Disable the Search feature if we are not operating from CGI, since */
      /* Search is accomplished using CGI and will not work without it. */
      if( !location.origin.match(/http/) ){
        document.getElementById("search_menubutton").style.display = "none";
      }
      
      /* Set the cookie named "name" to value "value". Expires in "days" days. */

      function createCookie(name,value,days) {
        if (days) {
          var date = new Date();
          date.setTime(date.getTime()+(days*24*60*60*1000));
          var expires = "; expires="+date.toGMTString();
        }else{
          var expires = "";
︙︙