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: |
5f54ffe04bae117e6b0c2a0a24cfc7fe |
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
Changes to document_header.tcl.
︙ | ︙ | |||
87 88 89 90 91 92 93 | } 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. */ | | | 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); |
︙ | ︙ |