Differences From Artifact [f784496453]:

• File src/graph.js — part of check-in [63785bd911] at 2023-09-27 11:24:19 on branch indicate-closed-branches-in-timeline — Draw an X instead of a horizontal line. Uses SVG as attempts with characters differed wildly among browsers. (user: preben size: 29643) [more...]

To Artifact [91271ed35b]:

• File src/graph.js — part of check-in [f97a29dd58] at 2024-01-22 13:37:00 on branch trunk — Hide the timeline graph tooltip in the `pagehide' handler, as Chromium-based browsers (but not Firefox) are deprecating the `unload' handler. (user: florian size: 29639) [more...]

132
133
134
135
136
137
138
139
140
141
142
143
144
145
146

function hideGraphTooltip(){ /* Hide the tooltip */
  document.removeEventListener('keydown',onKeyDown,/* useCapture == */true);
  stopCloseTimer();
  tooltipObj.style.display = "none";
  tooltipInfo.ixActive = -1;
  tooltipInfo.idNodeActive = 0;
}
document.body.onunload = hideGraphTooltip
function stopDwellTimer(){
  if(tooltipInfo.idTimer!=0){
    clearTimeout(tooltipInfo.idTimer);
    tooltipInfo.idTimer = 0;
  }
}
function resumeCloseTimer(){

|

132
133
134
135
136
137
138
139
140
141
142
143
144
145
146

function hideGraphTooltip(){ /* Hide the tooltip */
  document.removeEventListener('keydown',onKeyDown,/* useCapture == */true);
  stopCloseTimer();
  tooltipObj.style.display = "none";
  tooltipInfo.ixActive = -1;
  tooltipInfo.idNodeActive = 0;
}
window.onpagehide = hideGraphTooltip;
function stopDwellTimer(){
  if(tooltipInfo.idTimer!=0){
    clearTimeout(tooltipInfo.idTimer);
    tooltipInfo.idTimer = 0;
  }
}
function resumeCloseTimer(){