Fossil

Check-in [561fa8a3]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:The graph arrowhead control was inverted due to a missing "!" character in the graph.js file.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 561fa8a3b7f2a63ffec8d4504ac945f98e88c2cd2add940c0b16ea2ec8c64d56
User & Date: drh 2017-12-09 02:47:39.764
Context
2017-12-09
22:01
Add the /artifact_stats page for use by administrators. ... (check-in: d96bee1c user: drh tags: trunk)
17:49
Rough prototype for the /artifact_stats page. Still many issues. ... (check-in: dd1c8fb3 user: drh tags: artifact-stats)
02:47
The graph arrowhead control was inverted due to a missing "!" character in the graph.js file. ... (check-in: 561fa8a3 user: drh tags: trunk)
2017-12-08
03:24
Fix the SQL archive generator so that for a check-in containing no files it generates an empty SQL archive instead of an empty file. ... (check-in: 31b9822d user: drh tags: trunk)
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/graph.js.
︙︙
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

var amendCssOnce = 1; // Only change the CSS one time
function amendCss(circleNodes,showArrowheads){
  if( !amendCssOnce ) return;
  var css = "";
  if( circleNodes ){
    css += ".tl-node, .tl-node:after { border-radius: 50%; }";
  }
  if( showArrowheads ){
    css += ".tl-arrow.u { display: none; }";
  }
  if( css!=="" ){
    var style = document.createElement("style");
    style.textContent = css;
    document.querySelector("head").appendChild(style);
  }








|








52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

var amendCssOnce = 1; // Only change the CSS one time
function amendCss(circleNodes,showArrowheads){
  if( !amendCssOnce ) return;
  var css = "";
  if( circleNodes ){
    css += ".tl-node, .tl-node:after { border-radius: 50%; }";
  }
  if( !showArrowheads ){
    css += ".tl-arrow.u { display: none; }";
  }
  if( css!=="" ){
    var style = document.createElement("style");
    style.textContent = css;
    document.querySelector("head").appendChild(style);
  }
︙︙