Simplify the tree implementation a bit more

[?]
Feb 19, 2013, 11:54 PM
ZHHFJ4K5TNNOUVAFCCNLXMU5SQ2SBJA5OFT53RIBW7IJEARFI7XAC

Dependencies

  • [2] YPDYBK5G Show dependencies as a tree rather than a list
  • [3] KXO3EUSV Factor out the tree rendering
  • [4] BA46C5LN * Pretty-print the logs.
  • [5] 3PNG7NIB Remove trailing whitespace
  • [6] XDDCO6CH * hydra: add dependency list with links to logfiles
  • [7] O3CGTZFG Simplify the log tree implementation a bit
  • [8] PMNWRTGJ Add multiple output support

Change contents

  • replacement in src/root/deps.tt at line 10
    [2.1580][4.2030:2037](),[4.2030][4.2030:2037]()
    <li>
    [2.1580]
    [2.1581]
    <li class="treenode">
  • replacement in src/root/deps.tt at line 12
    [2.1612][2.1612:1670]()
    <p><tt>[% node.name %]</tt> (<em>repeated</em>)</p>
    [2.1612]
    [4.2190]
    <span class="treeline"><tt>[% node.name %]</tt> (<em>repeated</em>)</span>
  • replacement in src/root/deps.tt at line 15
    [2.1705][2.1705:1715]()
    <p>
    [2.1705]
    [2.1715]
    <span class="treeline">
  • replacement in src/root/deps.tt at line 24
    [2.2128][2.2128:2139]()
    </p>
    [2.2128]
    [2.2139]
    </span>
  • replacement in src/root/deps.tt at line 37
    [2.2369][2.2369:2374]()
    <ul>
    [2.2369]
    [2.2374]
    <ul class="tree">
  • replacement in src/root/deps.tt at line 47
    [4.15022][4.2424:2429](),[4.2424][4.2424:2429]()
    <ul>
    [4.2367]
    [2.2522]
    <ul class="tree">
  • replacement in src/root/static/css/tree.css at line 7
    [3.160][3.160:205]()
    /* Indent each tree level. */
    li.tree-line {
    [3.160]
    [3.205]
    /* Indent each tree level and draw vertical tree lines next to all
    children except the last. */
    ul.subtree > li {
  • edit in src/root/static/css/tree.css at line 12
    [3.254]
    [3.254]
    border-left: 0.1em solid #6185a0;
  • replacement in src/root/static/css/tree.css at line 15
    [3.257][3.257:283]()
    li.tree-line:last-child {
    [3.257]
    [3.283]
    ul.subtree > li:last-child {
  • edit in src/root/static/css/tree.css at line 17
    [3.358]
    [3.358]
    border-left: 0;
  • replacement in src/root/static/css/tree.css at line 20
    [3.361][3.361:445]()
    /* Draw vertical tree lines next to all children except the last. */
    li.tree-line {
    [3.361]
    [3.445]
    /* Draw the vertical tree line to the last child. */
    ul.subtree > li:last-child > *:first-child:before {
  • edit in src/root/static/css/tree.css at line 25
    [3.486][3.486:535]()
    li.tree-line:last-child {
    border-left: 0;
    }
  • replacement in src/root/static/css/tree.css at line 26
    [3.585][3.585:602]()
    span.tree-conn {
    [3.585]
    [3.602]
    ul.subtree > li > *:first-child:before {
    content: "";
  • edit in src/root/static/css/tree.css at line 33
    [3.719][3.719:856]()
    }
    /* Draw the vertical tree line to the last child. */
    li.tree-line:last-child > span.tree-conn {
    border-left: 0.1em solid #6185a0;
  • replacement in src/root/static/css/tree.css at line 35
    [3.859][3.859:874]()
    .tree-toggle {
    [3.859]
    [3.874]
    /* Ensure that the + and - have the same size. */
    a.tree-toggle {
  • edit in src/root/static/css/tree.css at line 39
    [3.929][3.929:952]()
    font-size: larger;
  • replacement in src/xsl/log2html.xsl at line 48
    [4.4948][4.1330:1402]()
    <li class='tree-line'>
    <span class='tree-conn' />
    [4.4948]
    [4.1402]
    <li>