Changes On Branch fix-js

Login
Home Timeline Branches Tags Help
Hide Diff Patch Side-by-Side Diff

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

Changes In Branch fix-js Excluding Merge-Ins

This is equivalent to a diff from 302cc3dd4e to cd213bb0a3

2018-05-28
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
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
08:38
Update index check-in: 26cd64e94d user: oehhar tags: trunk

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

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>
<style title="filtering">
.rejected {
<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>
    display: none;
}
.withdrawn {
<input type="checkbox" id="click_withdrawn">Withdrawn</button>
    display: none;
}
.obsoleted {
<input type="checkbox" id="click_obsoleted">Obsoleted</button>
    display: none;
}
.deferred {
<input type="checkbox" id="click_deferred">Deferred</button>
    display: none;
}
.jest {
    display: none;
<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;
	}
        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;
	    }
	}
        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() {
</script>
<input type="checkbox" onclick="toggleClass('.projectdraft')">Drafts</button>
    var TAGS = {
        "informational": 0, "process": 0,
        "projectdraft": 0, "projectfinal": 0, "project": 0,
<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>
        "project84": 0, "project85": 0, "project86": 0, "project87": 0,
        "project90": 0,
 <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>)
        "rejected": 1, "withdrawn": 1, "obsoleted": 1, "deferred": 1, "jest": 1
<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>
    };
    function toggler(selector) {
	return function() {
	    toggleClass(selector);
<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>
	}
    }
    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"
<table border="1" cellpadding="2" cellspacing="0" class="sortable" id="tipTable">
 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

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>
<style title="filtering">
.rejected {
<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>
    display: none;
}
.withdrawn {
<input type="checkbox" id="click_withdrawn">Withdrawn</button>
    display: none;
}
.obsoleted {
<input type="checkbox" id="click_obsoleted">Obsoleted</button>
    display: none;
}
.deferred {
<input type="checkbox" id="click_deferred">Deferred</button>
    display: none;
}
.jest {
    display: none;
<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;
	}
        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;
	    }
	}
        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() {
</script>
<input type="checkbox" onclick="toggleClass('.projectdraft')">Drafts</button>
    var TAGS = {
        "informational": 0, "process": 0,
        "projectdraft": 0, "projectfinal": 0, "project": 0,
<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>
        "project84": 0, "project85": 0, "project86": 0, "project87": 0,
        "project90": 0,
 <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>)
        "rejected": 1, "withdrawn": 1, "obsoleted": 1, "deferred": 1, "jest": 1
<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>
    };
    function toggler(selector) {
	return function() {
	    toggleClass(selector);
<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>
	}
    }
    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"
<table border="1" cellpadding="2" cellspacing="0" class="sortable" id="tipTable">
 id="tipTable">
<thead><tr>
<th>#</th>
<th>Type</th>
<th>Tcl Version</th>
<th>Status</th>
<th>Title</th>
</tr></thead><tbody>
︙