Check-in [87d94d7d82]

Login
Home Timeline Branches Tags Help
Bounty program for improvements to Tcl and certain Tcl packages.

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

Overview
Comment:Allow filtering of more TIP states (inadvertently forgotten previously)
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 87d94d7d82ad021f02be90eb48b810e859d11606ee7f714d4ca8de10e44c96b3
User & Date: dkf 2018-03-10 13:45:41
Context
2018-03-10
13:55
Tinkering with index HTML check-in: af46b48d52 user: dkf tags: trunk
13:45
Allow filtering of more TIP states (inadvertently forgotten previously) check-in: 87d94d7d82 user: dkf tags: trunk
2018-03-09
10:05
tip490 oo for msgcat: re-changed "option" to "extension" check-in: 016afc2026 user: oehhar tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to index.json.

cannot compute difference between binary files

Changes to index.md. 

15
16
17
18
19
20
21












22
23
24
25
26
27
28
..
52
53
54
55
56
57
58




59
60
61
62
63
64
65

</select>
<input type="submit" value="Search">
</div></form>
<p>

Filter Toggles:
<style title="filtering">












.jest {
    display: none;
}
</style>
<script>
var sheet = (function(){
    for (var i=0; i<document.styleSheets.length; i++) {
................................................................................
(<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>




<input type="checkbox" onclick="toggleClass('.jest')" checked>Jokes</button>
<p>

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







>
>
>
>
>
>
>
>
>
>
>
>







 







>
>
>
>








15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
..
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

</select>
<input type="submit" value="Search">
</div></form>
<p>

Filter Toggles:
<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++) {
................................................................................
(<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>
<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>
<p>

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

Changes to scripts/mkhtmlindex.tcl. 

25
26
27
28
29
30
31












32
33
34
35
36
37
38
..
62
63
64
65
66
67
68




69
70
71
72
73
74
75

</select>
<input type="submit" value="Search">
</div></form>
<p>

Filter Toggles:
<style title="filtering">












.jest {
    display: none;
}
</style>
<script>
var sheet = (function(){
    for (var i=0; i<document.styleSheets.length; i++) {
................................................................................
(<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>




<input type="checkbox" onclick="toggleClass('.jest')" checked>Jokes</button>
<p>

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







>
>
>
>
>
>
>
>
>
>
>
>







 







>
>
>
>








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
..
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

</select>
<input type="submit" value="Search">
</div></form>
<p>

Filter Toggles:
<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++) {
................................................................................
(<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>
<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>
<p>

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