# HG changeset patch # User krauss # Date 1272578143 -7200 # Node ID 8da6846b87d9b49ed24f96fac0d9e3389ad504f2 # Parent 0e7fc5bf38de809757fb8dbf142d1bec0586e4c0 hgweb style: show author in filelog; full description in annotate hover diff -r 0e7fc5bf38de -r 8da6846b87d9 Admin/Mercurial/isabelle-style.diff --- a/Admin/Mercurial/isabelle-style.diff Thu Apr 29 22:56:32 2010 +0200 +++ b/Admin/Mercurial/isabelle-style.diff Thu Apr 29 23:55:43 2010 +0200 @@ -23,7 +23,16 @@ diff -u gitweb/map isabelle/map --- gitweb/map 2010-02-01 16:34:34.000000000 +0100 -+++ isabelle/map 2010-03-03 15:13:25.000000000 +0100 ++++ isabelle/map 2010-04-29 23:43:54.000000000 +0200 +@@ -78,7 +78,7 @@ + + + {author|user}@{rev} ++ title="{node|short}: {desc|escape}">{author|user}@{rev} + +
{linenumber}
+
{line|escape}
@@ -206,9 +206,10 @@ {date|age} @@ -36,3 +45,12 @@ {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag} +@@ -225,6 +226,7 @@ + {desc|strip|firstline|escape|nonempty} + + ++ {author|person} + + file | diff | annotate {rename%filelogrename} + ' +Only in isabelle/: map~