Check-in [2f8ac12d95]

Login
Home Timeline Branches Tags Help

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

Overview
Comment:Fix the javascript.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 2f8ac12d955d1a86de12ca8c3c3cfb4e27cec6fd6066309ad99f1a4a6cba0d50
User & Date: dkf 2018-05-28 12:56:40.260
Context
2018-05-28
12:59
TIP 431 becomes 8.7; no implementation ready. check-in: 4192baaef1 user: dkf tags: trunk
12:56
Fix the javascript. check-in: 2f8ac12d95 user: dkf tags: trunk
11:52
JS is horrible. Closed-Leaf check-in: cd213bb0a3 user: dkf tags: fix-js, minor change
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
103
104
105
106
107

</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) {
		console.log("removing hide rule for " + cls);
                sheet.deleteRule(i);
                return;
            }
        }
    }
    console.log("adding hide rule for " + cls);
    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

    };
    function toggler(selector) {
	return function() {
	    toggleClass(selector);


	}
    }
    for (var tag of Object.keys(TAGS)) {
        var id = "click_" + tag;
        var selector = "." + tag;
        document.getElementById(id).addEventListener("click", toggler(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
113
114
115
116
117

</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) {
		console.log("removing hide rule for " + cls);
                sheet.deleteRule(i);
                return;
            }
        }
    }
    console.log("adding hide rule for " + cls);
    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

    };
    function toggler(selector) {
	return function() {
	    toggleClass(selector);


	}
    }
    for (var tag of Object.keys(TAGS)) {
        var id = "click_" + tag;
        var selector = "." + tag;
        document.getElementById(id).addEventListener("click", toggler(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>
︙︙