Definition at line 1 of file index.js.
References refresh_graphics(), refresh_text(), and var().
Referenced by onresize().
3 var W = window.innerWidth;
4 var H = window.innerHeight;
6 document.getElementById(
"canvas").width = 1;
7 document.getElementById(
"canvas").height = 1;
9 var tw = document.getElementById(
'table').offsetWidth;
10 var th = document.getElementById(
'table').offsetHeight;
12 var margin = (W-tw)*2;
15 var ch = H - th - margin;
17 document.getElementById(
"canvas").width = cw;
18 document.getElementById(
"canvas").height = ch;
21 document.getElementById(
'debug').innerHTML =
"";
22 document.getElementById(
'debug').innerHTML +=
"|W="+W+
"/"+H;
23 document.getElementById(
'debug').innerHTML +=
"|T="+tw+
"/"+th;
24 document.getElementById(
'debug').innerHTML +=
"|C="+cw+
"/"+ch;
po::typed_value< T > * var(T *ptr=0)
function refresh_graphics()