Check-in [0232976c97]

Login

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

Overview
Comment:Rework the javscript/CSS/magic.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | fix-js
Files: files | file ages | folders
SHA3-256: 0232976c97d01ad86a080e8d71befa33d376c5dab8cee5ef6461cafcbcef6e9a
User & Date: dkf 2018-05-28 11:39:48.392
Context
2018-05-28
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
10:15
Turns out that the existing temp-dir code was Windows only, within tclWinLoad.c. check-in: 302cc3dd4e user: dkf tags: trunk
Changes
Unified Diff Ignore Whitespace Patch
Changes to index.json.

cannot compute difference between binary files

Changes to index.md.
17
18
19
20
21
22
23
24










25
26
27
28
29
30
31
32
33
34
35
36
37
38
39







40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

63

64
65
66
67
68
69
70

71
72
73
74
75
76
77
78
79



80
81
82
83
84
85
86
87
88
89
90
91
92
</div></form>
<p>

<div><div>
Filter Toggles:
</div>
<div>
<style title="filtering">










.rejected {
    display: none;
}
.withdrawn {
    display: none;
}
.obsoleted {
    display: none;
}
.deferred {
    display: none;
}
.jest {
    display: none;
}







</style>
<script>
var sheet = (function(){
    for (var i=0; i<document.styleSheets.length; i++) {
	var s = document.styleSheets[i];
	if (s.title == "filtering") {
	    return s;
	}
    }
})();
function toggleClass(cls) {
    r = sheet.cssRules;
    if (r) {
	var i = r.length;
	while (i--) {
	    if (r[i].selectorText && r[i].selectorText.toLowerCase() === cls) {
		sheet.deleteRule(i);
		return;
	    }
	}
    }
    sheet.insertRule(cls + " {display:none;}", 0);
}

</script>

<input type="checkbox" onclick="toggleClass('.projectdraft')">Drafts</button>
<input type="checkbox" onclick="toggleClass('.projectfinal')">Finals</button>
<input type="checkbox" onclick="toggleClass('.project')">Projects</button>
(<input type="checkbox" onclick="toggleClass('.project84')">8.4</button>
 <input type="checkbox" onclick="toggleClass('.project85')">8.5</button>
 <input type="checkbox" onclick="toggleClass('.project86')">8.6</button>
 <input type="checkbox" onclick="toggleClass('.project87')">8.7</button>

 <input type="checkbox" onclick="toggleClass('.project90')">9.0</button>)
<input type="checkbox" onclick="toggleClass('.informational')">Informationals</button>
<input type="checkbox" onclick="toggleClass('.process')">Processes</button>
<br>
<input type="checkbox" onclick="toggleClass('.rejected')" checked>Rejected</button>
<input type="checkbox" onclick="toggleClass('.widthdrawn')" checked>Withdrawn</button>
<input type="checkbox" onclick="toggleClass('.obsoleted')" checked>Obsoleted</button>
<input type="checkbox" onclick="toggleClass('.deferred')" checked>Deferred</button>
<input type="checkbox" onclick="toggleClass('.jest')" checked>Jokes</button>



</div></div>
<p>

<div class="index">
<table border="1" cellpadding="2" cellspacing="0" class="sortable"
 id="tipTable">
<thead><tr>
<th>#</th>
<th>Type</th>
<th>Tcl Version</th>
<th>Status</th>
<th>Title</th>
</tr></thead><tbody>







|
>
>
>
>
>
>
>
>
>
>
|
<
<
|
<
<
|
<
<
|
<
<
|
|
<
>
>
>
>
>
>
>




|
|
|
|





|
|
|
|
|
|
|



>
|
>
|
<
<
|
|
|
<
>
|
|
|
|
|
|
|
|
|
>
>
>
|



|
<







17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35


36


37


38


39
40

41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74


75
76
77

78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95

96
97
98
99
100
101
102
</div></form>
<p>

<div><div>
Filter Toggles:
</div>
<div>
<input type="checkbox" id="click_projectdraft">Drafts</button>
<input type="checkbox" id="click_projectfinal">Finals</button>
<input type="checkbox" id="click_project">Projects</button>
(<input type="checkbox" id="click_project84">8.4</button>
 <input type="checkbox" id="click_project85">8.5</button>
 <input type="checkbox" id="click_project86">8.6</button>
 <input type="checkbox" id="click_project87">8.7</button>
 <input type="checkbox" id="click_project90">9.0</button>)
<input type="checkbox" id="click_informational">Informationals</button>
<input type="checkbox" id="click_process">Processes</button>
<br>
<input type="checkbox" id="click_rejected">Rejected</button>


<input type="checkbox" id="click_withdrawn">Withdrawn</button>


<input type="checkbox" id="click_obsoleted">Obsoleted</button>


<input type="checkbox" id="click_deferred">Deferred</button>


<input type="checkbox" id="click_jest">Jokes</button>
</div></div>

<style title="filtering">
/*
 * DO NOT MANUALLY PUT ANY STYLES IN HERE!
 *
 * This is manipulated by JS and it makes a lot of assumptions about the
 * structure of this stylesheet. Use a different stylesheet instead!
 */
</style>
<script>
var sheet = (function(){
    for (var i=0; i<document.styleSheets.length; i++) {
        var s = document.styleSheets[i];
        if (s.title == "filtering") {
            return s;
        }
    }
})();
function toggleClass(cls) {
    r = sheet.cssRules;
    if (r) {
        var i = r.length;
        while (i--) {
            if (r[i].selectorText && r[i].selectorText.toLowerCase() === cls) {
                sheet.deleteRule(i);
                return;
            }
        }
    }
    sheet.insertRule(cls + " {display:none;}", 0);
}
document.addEventListener("DOMContentLoaded", function() {
    var TAGS = {
        "informational": 0, "process": 0,
        "projectdraft": 0, "projectfinal": 0, "project": 0,


        "project84": 0, "project85": 0, "project86": 0, "project87": 0,
        "project90": 0,
        "rejected": 1, "withdrawn": 1, "obsoleted": 1, "deferred": 1, "jest": 1

    };
    for (var tag of Object.keys(TAGS)) {
        var id = "click_" + tag;
        var selector = "." + tag;
        document.getElementById(id).addEventListener("click", function() {
            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>
<th>Type</th>
<th>Tcl Version</th>
<th>Status</th>
<th>Title</th>
</tr></thead><tbody>
Changes to scripts/mkhtmlindex.tcl.
27
28
29
30
31
32
33
34










35
36
37
38
39
40
41
42
43
44
45
46
47
48
49







50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

73

74
75
76
77
78
79
80

81
82
83
84
85
86
87
88
89



90
91
92
93
94
95
96
97
98
99
100
101
102
</div></form>
<p>

<div><div>
Filter Toggles:
</div>
<div>
<style title="filtering">










.rejected {
    display: none;
}
.withdrawn {
    display: none;
}
.obsoleted {
    display: none;
}
.deferred {
    display: none;
}
.jest {
    display: none;
}







</style>
<script>
var sheet = (function(){
    for (var i=0; i<document.styleSheets.length; i++) {
	var s = document.styleSheets[i];
	if (s.title == "filtering") {
	    return s;
	}
    }
})();
function toggleClass(cls) {
    r = sheet.cssRules;
    if (r) {
	var i = r.length;
	while (i--) {
	    if (r[i].selectorText && r[i].selectorText.toLowerCase() === cls) {
		sheet.deleteRule(i);
		return;
	    }
	}
    }
    sheet.insertRule(cls + " {display:none;}", 0);
}

</script>

<input type="checkbox" onclick="toggleClass('.projectdraft')">Drafts</button>
<input type="checkbox" onclick="toggleClass('.projectfinal')">Finals</button>
<input type="checkbox" onclick="toggleClass('.project')">Projects</button>
(<input type="checkbox" onclick="toggleClass('.project84')">8.4</button>
 <input type="checkbox" onclick="toggleClass('.project85')">8.5</button>
 <input type="checkbox" onclick="toggleClass('.project86')">8.6</button>
 <input type="checkbox" onclick="toggleClass('.project87')">8.7</button>

 <input type="checkbox" onclick="toggleClass('.project90')">9.0</button>)
<input type="checkbox" onclick="toggleClass('.informational')">Informationals</button>
<input type="checkbox" onclick="toggleClass('.process')">Processes</button>
<br>
<input type="checkbox" onclick="toggleClass('.rejected')" checked>Rejected</button>
<input type="checkbox" onclick="toggleClass('.widthdrawn')" checked>Withdrawn</button>
<input type="checkbox" onclick="toggleClass('.obsoleted')" checked>Obsoleted</button>
<input type="checkbox" onclick="toggleClass('.deferred')" checked>Deferred</button>
<input type="checkbox" onclick="toggleClass('.jest')" checked>Jokes</button>



</div></div>
<p>

<div class="index">
<table border="1" cellpadding="2" cellspacing="0" class="sortable"
 id="tipTable">
<thead><tr>
<th>#</th>
<th>Type</th>
<th>Tcl Version</th>
<th>Status</th>
<th>Title</th>
</tr></thead><tbody>







|
>
>
>
>
>
>
>
>
>
>
|
<
<
|
<
<
|
<
<
|
<
<
|
|
<
>
>
>
>
>
>
>




|
|
|
|





|
|
|
|
|
|
|



>
|
>
|
<
<
|
|
|
<
>
|
|
|
|
|
|
|
|
|
>
>
>
|



|
<







27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45


46


47


48


49
50

51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84


85
86
87

88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105

106
107
108
109
110
111
112
</div></form>
<p>

<div><div>
Filter Toggles:
</div>
<div>
<input type="checkbox" id="click_projectdraft">Drafts</button>
<input type="checkbox" id="click_projectfinal">Finals</button>
<input type="checkbox" id="click_project">Projects</button>
(<input type="checkbox" id="click_project84">8.4</button>
 <input type="checkbox" id="click_project85">8.5</button>
 <input type="checkbox" id="click_project86">8.6</button>
 <input type="checkbox" id="click_project87">8.7</button>
 <input type="checkbox" id="click_project90">9.0</button>)
<input type="checkbox" id="click_informational">Informationals</button>
<input type="checkbox" id="click_process">Processes</button>
<br>
<input type="checkbox" id="click_rejected">Rejected</button>


<input type="checkbox" id="click_withdrawn">Withdrawn</button>


<input type="checkbox" id="click_obsoleted">Obsoleted</button>


<input type="checkbox" id="click_deferred">Deferred</button>


<input type="checkbox" id="click_jest">Jokes</button>
</div></div>

<style title="filtering">
/*
 * DO NOT MANUALLY PUT ANY STYLES IN HERE!
 *
 * This is manipulated by JS and it makes a lot of assumptions about the
 * structure of this stylesheet. Use a different stylesheet instead!
 */
</style>
<script>
var sheet = (function(){
    for (var i=0; i<document.styleSheets.length; i++) {
        var s = document.styleSheets[i];
        if (s.title == "filtering") {
            return s;
        }
    }
})();
function toggleClass(cls) {
    r = sheet.cssRules;
    if (r) {
        var i = r.length;
        while (i--) {
            if (r[i].selectorText && r[i].selectorText.toLowerCase() === cls) {
                sheet.deleteRule(i);
                return;
            }
        }
    }
    sheet.insertRule(cls + " {display:none;}", 0);
}
document.addEventListener("DOMContentLoaded", function() {
    var TAGS = {
        "informational": 0, "process": 0,
        "projectdraft": 0, "projectfinal": 0, "project": 0,


        "project84": 0, "project85": 0, "project86": 0, "project87": 0,
        "project90": 0,
        "rejected": 1, "withdrawn": 1, "obsoleted": 1, "deferred": 1, "jest": 1

    };
    for (var tag of Object.keys(TAGS)) {
        var id = "click_" + tag;
        var selector = "." + tag;
        document.getElementById(id).addEventListener("click", function() {
            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>
<th>Type</th>
<th>Tcl Version</th>
<th>Status</th>
<th>Title</th>
</tr></thead><tbody>