Admin/Mercurial/isabelle-style.diff
author wenzelm
Sat, 20 Dec 2008 23:09:48 +0100
changeset 29146 d4c23f16d04e
parent 27619 edc141a4ecde
child 29148 9b725c8c8ecc
permissions -rw-r--r--
updated web style for Mercurial 1.1;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
     1
diff -r gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl
27608
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     2
2,8c2
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     3
< <a class="title" href="{url}rev/#node|short#{sessionvars%urlparameter}"><span class="age">#date|age# ago</span>#desc|strip|firstline|escape#<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     4
< </div>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     5
< <div class="title_text">
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     6
< <div class="log_link">
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     7
< <a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a><br/>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     8
< </div>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
     9
< <i>#author|obfuscate# [#date|rfc822date#] rev #rev#</i><br/>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
    10
---
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
    11
> <a class="title" href="{url}rev/#node|short#{sessionvars%urlparameter}"><span class="age">#date|age# ago</span>#author|obfuscate# [#date|rfc822date#] rev #rev#<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
8fd5662ccd97 tuned changelogentry;
wenzelm
parents: 27593
diff changeset
    12
12a7,9
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    13
> <div class="files">
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    14
> #files#
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    15
> </div>
27593
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset
    16
diff -r gitweb/map isabelle/map
29146
d4c23f16d04e updated web style for Mercurial 1.1;
wenzelm
parents: 27619
diff changeset
    17
59,60c59,60
27619
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    18
< shortlogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|firstline|escape#</b> <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a></td><td class="link" nowrap><a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a> | <a href="{url}file/#node|short#{sessionvars%urlparameter}">files</a></td></tr>'
27593
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset
    19
< filelogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|firstline|escape#</b></a></td><td class="link"><a href="{url}file/#node|short#/#file|urlescape#{sessionvars%urlparameter}">file</a>&nbsp;|&nbsp;<a href="{url}diff/#node|short#/#file|urlescape#{sessionvars%urlparameter}">diff</a>&nbsp;|&nbsp;<a href="{url}annotate/#node|short#/#file|urlescape#{sessionvars%urlparameter}">annotate</a> #rename%filelogrename#</td></tr>'
602dd4b219c0 tuned filelogentry;
wenzelm
parents: 27513
diff changeset
    20
---
27619
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    21
> shortlogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#date|shortdate#</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|escape#</b> <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a></td><td class="link" nowrap><a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a> | <a href="{url}file/#node|short#{sessionvars%urlparameter}">files</a></td></tr>'
edc141a4ecde shortlogentry/filelogentry: show shortdate and full description;
wenzelm
parents: 27608
diff changeset
    22
> filelogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#date|shortdate#</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|escape#</b></a></td><td class="link"><a href="{url}file/#node|short#/#file|urlescape#{sessionvars%urlparameter}">file</a>&nbsp;|&nbsp;<a href="{url}diff/#node|short#/#file|urlescape#{sessionvars%urlparameter}">diff</a>&nbsp;|&nbsp;<a href="{url}annotate/#node|short#/#file|urlescape#{sessionvars%urlparameter}">annotate</a> #rename%filelogrename#</td></tr>'
27511
5247c16cc9ca changes wrt. gitweb style;
wenzelm
parents:
diff changeset
    23
diff -r gitweb/summary.tmpl isabelle/summary.tmpl
29146
d4c23f16d04e updated web style for Mercurial 1.1;
wenzelm
parents: 27619
diff changeset
    24
34d33
27513
6d082d24aa75 removed owner;
wenzelm
parents: 27511
diff changeset
    25
< <tr><td>owner</td><td>#owner|obfuscate#</td></tr>