templates/header.tmpl
author mpm@selenic.com
Fri, 24 Jun 2005 22:51:39 -0800
changeset 460 6409d9a0df43
parent 172 e9b1147db448
child 583 415054ea31c1
permissions -rw-r--r--
add dirstate debugging commands -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 add dirstate debugging commands As I've played with various different merges and more recently rawcommit, I've found the following patch to be very very helpful in figuring out whether the dirstate is being left in a consistent or inconsistent state with respect to the current manifest. I attempted to deduce the invariants that were assumed by the current code, and then check it in this code. I may or may not have captured the design intent in this check; if not, I'd be very happy to hear more clearly what was intended, so that I can write tests to that expectation. Anyway, here's the patch. Not sure if it's a good idea to commit it to the mainline, or just leave it as a debugging aid. I attempted to package it so that it doesn't interfere with normal usage. Michael Fetterman (tweaked by mpm: remove -d magic) manifest hash: 869f5b5f954dc0f46ba27322359e811d5e21d71c -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (GNU/Linux) iD8DBQFCvP77ywK+sNU5EO8RArmtAKCCVuI2slANzWZ26P5edtH/ixdwNwCfZLWl 5P+V+C92II3usO4YW2MULKY= =/Pv4 -----END PGP SIGNATURE-----
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
142
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     1
Content-type: text/html
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     2
154
1d5f799ebe1e fixed problem with head/body tags, added dtd, fixed table attributes
jake@edge2.net
parents: 142
diff changeset
     3
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
142
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     4
<html>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     5
<head>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     6
<style type="text/css">
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     7
a { text-decoration:none; }
172
e9b1147db448 hgweb: alternating colors for multifile diffs
mpm@selenic.com
parents: 168
diff changeset
     8
.parity0 { background-color: #dddddd; }
e9b1147db448 hgweb: alternating colors for multifile diffs
mpm@selenic.com
parents: 168
diff changeset
     9
.parity1 { background-color: #eeeeee; }
e9b1147db448 hgweb: alternating colors for multifile diffs
mpm@selenic.com
parents: 168
diff changeset
    10
.lineno { width: 60px; color: #aaaaaa; font-size: smaller; }
142
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    11
.plusline { color: green; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    12
.minusline { color: red; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    13
.atline { color: purple; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    14
.annotate { font-size: smaller; text-align: right; padding-right: 1em; }
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    15
.buttons a {
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    16
  background-color: #666666;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    17
  padding: 2pt;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    18
  color: white;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    19
  font-family: sans;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    20
  font-weight: bold;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    21
}
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    22
.metatag {
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    23
  background-color: #888888;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    24
  color: white;
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    25
  text-align: right; 
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    26
}
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    27
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
    28
</style>