Check-in [87d94d7d82]

Login
Home Timeline Branches Tags Help

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
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 87d94d7d82ad021f02be90eb48b810e859d11606ee7f714d4ca8de10e44c96b3
User & Date: dkf 2018-03-10 13:45:41.286
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
Unified Diff 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

</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++) {








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








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

</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++) {
︙︙
52
53
54
55
56
57
58




59
60
61
62
63
64
65

(<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>








>
>
>
>








64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

(<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

</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++) {








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








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

</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++) {
︙︙
62
63
64
65
66
67
68




69
70
71
72
73
74
75

(<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>








>
>
>
>








74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

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