Fossil SCM
Improvements to the 'enhanced' skin.
Commit
ef006c3147ecce8f888a7014c3ee9487beddf49f
Parent
68ce0bcf6269988…
2 files changed
+1
-1
+14
-2
+1
-1
| --- skins/enhanced1/footer.txt | ||
| +++ skins/enhanced1/footer.txt | ||
| @@ -10,11 +10,11 @@ | ||
| 10 | 10 | set length [string length $version] |
| 11 | 11 | return [string range $version 1 [expr {$length - 2}]] |
| 12 | 12 | } |
| 13 | 13 | set version [getVersion $manifest_version] |
| 14 | 14 | set tclVersion [getTclVersion] |
| 15 | - set fossilUrl http://www.fossil-scm.org | |
| 15 | + set fossilUrl https://www.fossil-scm.org | |
| 16 | 16 | </th1> |
| 17 | 17 | This page was generated in about |
| 18 | 18 | <th1>puts [expr {([utime]+[stime]+1000)/1000*0.001}]</th1>s by |
| 19 | 19 | <a href="$fossilUrl/">Fossil</a> |
| 20 | 20 | version $release_version $tclVersion |
| 21 | 21 |
| --- skins/enhanced1/footer.txt | |
| +++ skins/enhanced1/footer.txt | |
| @@ -10,11 +10,11 @@ | |
| 10 | set length [string length $version] |
| 11 | return [string range $version 1 [expr {$length - 2}]] |
| 12 | } |
| 13 | set version [getVersion $manifest_version] |
| 14 | set tclVersion [getTclVersion] |
| 15 | set fossilUrl http://www.fossil-scm.org |
| 16 | </th1> |
| 17 | This page was generated in about |
| 18 | <th1>puts [expr {([utime]+[stime]+1000)/1000*0.001}]</th1>s by |
| 19 | <a href="$fossilUrl/">Fossil</a> |
| 20 | version $release_version $tclVersion |
| 21 |
| --- skins/enhanced1/footer.txt | |
| +++ skins/enhanced1/footer.txt | |
| @@ -10,11 +10,11 @@ | |
| 10 | set length [string length $version] |
| 11 | return [string range $version 1 [expr {$length - 2}]] |
| 12 | } |
| 13 | set version [getVersion $manifest_version] |
| 14 | set tclVersion [getTclVersion] |
| 15 | set fossilUrl https://www.fossil-scm.org |
| 16 | </th1> |
| 17 | This page was generated in about |
| 18 | <th1>puts [expr {([utime]+[stime]+1000)/1000*0.001}]</th1>s by |
| 19 | <a href="$fossilUrl/">Fossil</a> |
| 20 | version $release_version $tclVersion |
| 21 |
+14
-2
| --- skins/enhanced1/header.txt | ||
| +++ skins/enhanced1/header.txt | ||
| @@ -72,22 +72,34 @@ | ||
| 72 | 72 | </th1> |
| 73 | 73 | <a href="$logourl"> |
| 74 | 74 | <img src="$logo_image_url" border="0" alt="$project_name"> |
| 75 | 75 | </a> |
| 76 | 76 | </div> |
| 77 | - <div class="title"><small>$<project_name></small><br />$<title></div> | |
| 77 | + <div class="title">$<title></div> | |
| 78 | 78 | <div class="status"><th1> |
| 79 | 79 | if {[info exists login]} { |
| 80 | 80 | puts "Logged in as $login" |
| 81 | 81 | } else { |
| 82 | 82 | puts "Not logged in" |
| 83 | 83 | } |
| 84 | - </th1></div> | |
| 84 | + </th1></nobr><small><div id="clock"></div></small></div> | |
| 85 | 85 | </div> |
| 86 | +<script> | |
| 87 | +function updateClock(){ | |
| 88 | + var e = document.getElementById("clock"); | |
| 89 | + if(e){ | |
| 90 | + var d = new Date(); | |
| 91 | + e.innerHTML=d.toISOString().replace("T"," ").replace(/:\d\d\.\d+Z/,""); | |
| 92 | + setTimeout("updateClock();",(60-d.getSeconds())*1000); | |
| 93 | + } | |
| 94 | +} | |
| 95 | +updateClock(); | |
| 96 | +</script> | |
| 86 | 97 | <div class="mainmenu"> |
| 87 | 98 | <th1> |
| 88 | 99 | html "<a href='$home$index_page'>Home</a>\n" |
| 100 | +html "<a href='$home/help'>Help</a>\n" | |
| 89 | 101 | if {[anycap jor]} { |
| 90 | 102 | html "<a href='$home/timeline'>Timeline</a>\n" |
| 91 | 103 | } |
| 92 | 104 | if {[hascap oh]} { |
| 93 | 105 | html "<a href='$home/tree?ci=tip'>Files</a>\n" |
| 94 | 106 |
| --- skins/enhanced1/header.txt | |
| +++ skins/enhanced1/header.txt | |
| @@ -72,22 +72,34 @@ | |
| 72 | </th1> |
| 73 | <a href="$logourl"> |
| 74 | <img src="$logo_image_url" border="0" alt="$project_name"> |
| 75 | </a> |
| 76 | </div> |
| 77 | <div class="title"><small>$<project_name></small><br />$<title></div> |
| 78 | <div class="status"><th1> |
| 79 | if {[info exists login]} { |
| 80 | puts "Logged in as $login" |
| 81 | } else { |
| 82 | puts "Not logged in" |
| 83 | } |
| 84 | </th1></div> |
| 85 | </div> |
| 86 | <div class="mainmenu"> |
| 87 | <th1> |
| 88 | html "<a href='$home$index_page'>Home</a>\n" |
| 89 | if {[anycap jor]} { |
| 90 | html "<a href='$home/timeline'>Timeline</a>\n" |
| 91 | } |
| 92 | if {[hascap oh]} { |
| 93 | html "<a href='$home/tree?ci=tip'>Files</a>\n" |
| 94 |
| --- skins/enhanced1/header.txt | |
| +++ skins/enhanced1/header.txt | |
| @@ -72,22 +72,34 @@ | |
| 72 | </th1> |
| 73 | <a href="$logourl"> |
| 74 | <img src="$logo_image_url" border="0" alt="$project_name"> |
| 75 | </a> |
| 76 | </div> |
| 77 | <div class="title">$<title></div> |
| 78 | <div class="status"><th1> |
| 79 | if {[info exists login]} { |
| 80 | puts "Logged in as $login" |
| 81 | } else { |
| 82 | puts "Not logged in" |
| 83 | } |
| 84 | </th1></nobr><small><div id="clock"></div></small></div> |
| 85 | </div> |
| 86 | <script> |
| 87 | function updateClock(){ |
| 88 | var e = document.getElementById("clock"); |
| 89 | if(e){ |
| 90 | var d = new Date(); |
| 91 | e.innerHTML=d.toISOString().replace("T"," ").replace(/:\d\d\.\d+Z/,""); |
| 92 | setTimeout("updateClock();",(60-d.getSeconds())*1000); |
| 93 | } |
| 94 | } |
| 95 | updateClock(); |
| 96 | </script> |
| 97 | <div class="mainmenu"> |
| 98 | <th1> |
| 99 | html "<a href='$home$index_page'>Home</a>\n" |
| 100 | html "<a href='$home/help'>Help</a>\n" |
| 101 | if {[anycap jor]} { |
| 102 | html "<a href='$home/timeline'>Timeline</a>\n" |
| 103 | } |
| 104 | if {[hascap oh]} { |
| 105 | html "<a href='$home/tree?ci=tip'>Files</a>\n" |
| 106 |