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. |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
5f54ffe04bae117e6b0c2a0a24cfc7fe |
| User & Date: | mistachkin 2020-02-20 04:01:29 |
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 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);
|