Changes On Branch fix-js

Login
Home Timeline Branches Tags Help
Hide Diff Patch Unified 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

</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>
︙︙