Simplify the log tree implementation a bit

Dependencies

• [2] 3JCIP7EZ Use a span instead of a div in the pretty logs
• [3] RP6WDKE2
• [4] YNHNVV3H Making pretty printed log look normal again. Issue #6
• [5] BA46C5LN * Pretty-print the logs.
• [6] GN3JXNQS
• [7] D5QIOJGP * Move everything up one directory.
• [8] BD3GRK4B * Get rid of "positive failures" and separate log phases.
• [9] US27ZTX5 * HydraFrontend -> Hydra.
• [10] QU5QJUKC * hydra: add warningLine class to log lines with warning attribute
• [11] 4JPNFWRB * Use jquery for the logfile manipulation.
• [*] J5UVLXOK * Start of a basic Catalyst web interface.

Change contents

• replacement in src/root/layout.tt at line 37
  [3.194]→[3.194:241](∅→∅)
  − $(".logTreeToggle").map(function() {
  [3.194]

  [3.241]
  + $(".tree-toggle").map(function() {
• replacement in src/root/layout.tt at line 46
  [3.500]→[3.500:549](∅→∅)
  − $(".logTreeToggle").click(function() {
  [3.500]

  [3.549]
  + $(".tree-toggle").click(function() {
• replacement in src/root/layout.tt at line 57
  [3.893]→[3.893:945](∅→∅),[3.945]→[2.0:91](∅→∅)
  − $(".logTreeExpandAll").click(function() {

  − $(".logTreeToggle", $(this).parent().siblings(".toplevel")).map(function() {
  [3.893]

  [3.1027]
  + $(".tree-expand-all").click(function() {

  + $(".tree-toggle", $(this).parent().siblings(".tree")).map(function() {
• replacement in src/root/layout.tt at line 65
  [3.1203]→[3.1203:1257](∅→∅),[3.1257]→[2.92:183](∅→∅)
  − $(".logTreeCollapseAll").click(function() {

  − $(".logTreeToggle", $(this).parent().siblings(".toplevel")).map(function() {
  [3.1203]

  [3.1339]
  + $(".tree-collapse-all").click(function() {

  + $(".tree-toggle", $(this).parent().siblings(".tree")).map(function() {
• edit in src/root/static/css/logfile.css at line 5
  [3.141]

  [3.141]
  +
• replacement in src/root/static/css/logfile.css at line 7
  [3.142]→[3.612:638](∅→∅),[3.611]→[3.612:638](∅→∅)
  − ul.nesting, ul.toplevel {
  [3.142]

  [3.638]
  + ul.tree, ul.subtree {
• edit in src/root/static/css/logfile.css at line 10
  [3.669]→[3.669:686](∅→∅)
  − }

  −

  − ul.toplevel {
• edit in src/root/static/css/logfile.css at line 11
  [3.713]→[3.713:753](∅→∅)
  − }

  −

  − .line, .head {

  − padding-top: 0em;
• replacement in src/root/static/css/logfile.css at line 13
  [3.756]→[3.756:801](∅→∅)
  − ul.nesting li.line, ul.nesting li.lastline {
  [3.756]

  [3.801]
  + /* Indent each tree level. */

  + li.tree-line {
• edit in src/root/static/css/logfile.css at line 16
  [3.825]→[3.825:876](∅→∅)
  − list-style-type: none;

  − }

  −

  − ul.nesting li.line {
• replacement in src/root/static/css/logfile.css at line 19
  [3.904]→[3.904:929](∅→∅),[3.929]→[3.112:194](∅→∅)
  − ul.nesting li.lastline {

  − padding-left: 2.1em; /* for the 0.1em border-left in .lastline > .lineconn */
  [3.904]

  [3.1008]
  + li.tree-line:last-child {

  + padding-left: 2.1em; /* for the 0.1em border-left in the last child */
• replacement in src/root/static/css/logfile.css at line 23
  [3.1011]→[3.1011:1021](∅→∅)
  − li.line {
  [3.1011]

  [3.1021]
  + /* Draw vertical tree lines next to all children except the last. */

  + li.tree-line {
• replacement in src/root/static/css/logfile.css at line 28
  [3.1062]→[3.1062:1117](∅→∅)
  − li.line > span.lineconn, li.lastline > span.lineconn {
  [3.1062]

  [3.1117]
  + li.tree-line:last-child {

  + border-left: 0;

  + }

  +

  + /* Draw horizontal tree lines to all children. */

  + span.tree-conn {
• replacement in src/root/static/css/logfile.css at line 41
  [3.1237]→[3.1237:1267](∅→∅)
  − li.lastline > span.lineconn {
  [3.1237]

  [3.1267]
  + /* Draw the vertical tree line to the last child. */

  + li.tree-line:last-child > span.tree-conn {
• edit in src/root/static/css/logfile.css at line 44
  [3.1305]

  [3.1305]
  + }

  +

  + .tree-toggle {

  + text-decoration: none;

  + font-family: monospace;

  + font-size: larger;
• replacement in src/root/static/css/logfile.css at line 55
  [3.1343]→[3.1343:1368](∅→∅)
  − position: relative;
  [3.1343]

  [3.1368]
  + position: relative;
• edit in src/root/static/css/logfile.css at line 80
  [3.1775]→[3.1775:1776](∅→∅)
  −
• edit in src/root/static/css/logfile.css at line 81
  [3.1777]→[3.1464:1481](∅→∅),[3.1481]→[3.1787:1814](∅→∅),[3.1787]→[3.1787:1814](∅→∅),[3.1840]→[3.1840:1893](∅→∅)
  − .logTreeToggle {

  − text-decoration: none;

  − font-family: monospace;

  − font-size: larger;

  − }
• replacement in src/xsl/log2html.xsl at line 11
  [2.263]→[2.263:379](∅→∅)
  − <a href="javascript:" class="btn btn-info logTreeExpandAll"><i class="icon-plus icon-white"></i> Expand all</a>
  [2.263]

  [2.379]
  + <a href="javascript:" class="btn btn-info tree-expand-all"><i class="icon-plus icon-white"></i> Expand all</a>
• replacement in src/xsl/log2html.xsl at line 13
  [2.406]→[2.406:527](∅→∅)
  − <a href="javascript:" class="btn btn-info logTreeCollapseAll"><i class="icon-minus icon-white"></i> Collapse all</a>
  [2.406]

  [2.527]
  + <a href="javascript:" class="btn btn-info tree-collapse-all"><i class="icon-minus icon-white"></i> Collapse all</a>
• replacement in src/xsl/log2html.xsl at line 15
  [2.536]→[3.3767:3793](∅→∅),[3.1625]→[3.3767:3793](∅→∅),[3.3767]→[3.3767:3793](∅→∅)
  − <ul class='toplevel'>
  [2.536]

  [3.3793]
  + <ul class='tree'>
• replacement in src/xsl/log2html.xsl at line 24
  [3.3955]→[3.3955:3958](∅→∅)
  −
  [3.3955]

  [3.3958]
  +
• replacement in src/xsl/log2html.xsl at line 32
  [3.4323]→[3.4323:4342](∅→∅)
  −
  [3.4323]

  [3.4342]
  +
• replacement in src/xsl/log2html.xsl at line 37
  [3.1657]→[3.1657:1712](∅→∅)
  − <a href="javascript:" class="logTreeToggle"></a>
  [3.1657]

  [3.1712]
  + <a href="javascript:" class="tree-toggle"></a>
• replacement in src/xsl/log2html.xsl at line 40
  [3.1755]→[3.4587:4592](∅→∅),[3.4587]→[3.4587:4592](∅→∅)
  −
  [3.1755]

  [3.4688]
  +
• replacement in src/xsl/log2html.xsl at line 45
  [3.4855]→[3.4855:4906](∅→∅)
  −

  − <ul class='nesting' style="{$style}">
  [3.4855]

  [3.4906]
  +

  + <ul class='subtree' style="{$style}">
• replacement in src/xsl/log2html.xsl at line 48
  [3.4948]→[3.4948:5424](∅→∅)
  −

  − <!-- Is this the last line? If so, mark it as such so that it

  − can be rendered differently. -->

  − <xsl:variable name="class"><xsl:choose><xsl:when test="position() != last()">line</xsl:when><xsl:otherwise>lastline</xsl:otherwise></xsl:choose></xsl:variable>

  −

  − <li class='{$class}'>

  − <span class='lineconn' />

  − <span class='linebody'>

  − <xsl:apply-templates select='.'/>

  − </span>
  [3.4948]

  [3.5424]
  + <li class='tree-line'>

  + <span class='tree-conn' />

  + <xsl:apply-templates select='.'/>
• replacement in src/xsl/log2html.xsl at line 55
  [3.5490]→[3.5490:5495](∅→∅)
  −
  [3.5490]

  [3.5495]
  +
• replacement in src/xsl/log2html.xsl at line 58
  [3.5514]→[3.5514:5517](∅→∅)
  −
  [3.5514]

  [3.5517]
  +
• replacement in src/xsl/log2html.xsl at line 74
  [3.5726]→[3.5726:5729](∅→∅)
  −
  [3.5726]

  [3.5729]
  +
• replacement in src/xsl/log2html.xsl at line 81
  [3.5984]→[3.5984:5987](∅→∅)
  −
  [3.5984]

  [3.112]
  +