Documentation Source Text

Check-in [5f54ffe04b]
Login

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

Overview
Comment:Workaround for older web browsers that may not always set the 'location.origin' DOM property.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 5f54ffe04bae117e6b0c2a0a24cfc7fe3b71e5406c27fc281c85212ef5791232
User & Date: mistachkin 2020-02-20 04:01:29.323
Context
2020-02-21
15:27
Fix typos and improve phrasing in testing.in. (check-in: 80df0299e7 user: drh tags: trunk)
2020-02-20
04:01
Workaround for older web browsers that may not always set the 'location.origin' DOM property. (check-in: 5f54ffe04b user: mistachkin tags: trunk)
2020-02-18
20:24
Update the change log. (check-in: baac09c5a2 user: drh tags: trunk)
Changes
Unified Diff Ignore Whitespace Patch
Changes to document_header.tcl.
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
      }

      function div_off(nm){document.getElementById(nm).style.display="none";}
      window.onbeforeunload = function(e){div_off("submenu");}

      /* 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 || !location.origin.match(/http/) ){
        document.getElementById("search_menubutton").style.display = "none";
      }

      /* Used by the Hide/Show button beside syntax diagrams, to toggle the */
      /* display of those diagrams on and off */
      function hideorshow(btn,obj){
        var x = document.getElementById(obj);







|







87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
      }

      function div_off(nm){document.getElementById(nm).style.display="none";}
      window.onbeforeunload = function(e){div_off("submenu");}

      /* 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 || !location.origin.match || !location.origin.match(/http/) ){
        document.getElementById("search_menubutton").style.display = "none";
      }

      /* Used by the Hide/Show button beside syntax diagrams, to toggle the */
      /* display of those diagrams on and off */
      function hideorshow(btn,obj){
        var x = document.getElementById(obj);