Check-in [587cf865a4]

Login

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

Overview
Comment:DOH.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | fix-js | minor change
Files: files | file ages | folders
SHA3-256: 587cf865a4cc73b824d2f7c174a0105f6eb90e26110cd5944195c8bebda8489c
User & Date: dkf 2018-05-28 11:41:29.894
Context
2018-05-28
11:52
JS is horrible. Closed-Leaf check-in: cd213bb0a3 user: dkf tags: fix-js, minor change
11:41
DOH. check-in: 587cf865a4 user: dkf tags: fix-js, minor change
11:39
Rework the javscript/CSS/magic. check-in: 0232976c97 user: dkf tags: fix-js
Changes
Unified Diff Ignore Whitespace Patch
Changes to index.json.

cannot compute difference between binary files

Changes to index.md.
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
            toggleClass(selector);
        });
        if (TAGS[tag]) {
            document.getElementById(id).checked = true;
            toggleClass(selector);
        }
    }
}
</script>
<p>

<div class="index">
<table border="1" cellpadding="2" cellspacing="0" class="sortable" id="tipTable">
<thead><tr>
<th>#</th>







|







83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
            toggleClass(selector);
        });
        if (TAGS[tag]) {
            document.getElementById(id).checked = true;
            toggleClass(selector);
        }
    }
});
</script>
<p>

<div class="index">
<table border="1" cellpadding="2" cellspacing="0" class="sortable" id="tipTable">
<thead><tr>
<th>#</th>
Changes to scripts/mkhtmlindex.tcl.
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
            toggleClass(selector);
        });
        if (TAGS[tag]) {
            document.getElementById(id).checked = true;
            toggleClass(selector);
        }
    }
}
</script>
<p>

<div class="index">
<table border="1" cellpadding="2" cellspacing="0" class="sortable" id="tipTable">
<thead><tr>
<th>#</th>







|







93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
            toggleClass(selector);
        });
        if (TAGS[tag]) {
            document.getElementById(id).checked = true;
            toggleClass(selector);
        }
    }
});
</script>
<p>

<div class="index">
<table border="1" cellpadding="2" cellspacing="0" class="sortable" id="tipTable">
<thead><tr>
<th>#</th>