Differences From Artifact [f8d966bdfb]:

• File src/href.js — part of check-in [32a2fff850] at 2017-12-05 20:16:32 on branch trunk — Replace the in-line graph-drawing javascript with a separate graph drawing module, "graph.js". (user: drh size: 1798)

To Artifact [2b485ac67f]:

• File src/href.js — part of check-in [189adb9959] at 2017-12-06 01:09:59 on branch trunk — Add the --no-opt option to the ./configure script. Fix the menu.js script to avoid the use of eval(). (user: drh size: 1790) [more...]

33
34
35
36
37
38
39
40
41
42
43
44
45
46

  var x = document.getElementById("href-data");
  var jx = x.textContent || x.innerText;
  var g = JSON.parse(jx);
  var isOperaMini =
       Object.prototype.toString.call(window.operamini)==="[object OperaMini]";
  if(g.mouseover && !isOperaMini){
    document.getElementByTagName("body")[0].onmousemove=function(){
      setTimeout("setAllHrefs();",g.delay);
    }
  }else{
    setTimeout("setAllHrefs();",g.delay);
  }
}
antiRobotDefense()

|


|

33
34
35
36
37
38
39
40
41
42
43
44
45
46

  var x = document.getElementById("href-data");
  var jx = x.textContent || x.innerText;
  var g = JSON.parse(jx);
  var isOperaMini =
       Object.prototype.toString.call(window.operamini)==="[object OperaMini]";
  if(g.mouseover && !isOperaMini){
    document.getElementByTagName("body")[0].onmousemove=function(){
      setTimeout(setAllHrefs, g.delay);
    }
  }else{
    setTimeout(setAllHrefs, g.delay);
  }
}
antiRobotDefense()