📄 stats.jav
字号:
<SCRIPT LANGUAGE="JavaScript" >
<!--
var timer_id = 0;
var delay = 2000; // reload interval in mS
var inside = 0;
function updater() {
timer_id=window.setTimeout("updater()", delay);
if ( inside == 0 ) {
inside = 1;
Image1 = new Image();
Image1.src = "graph.gif";
document.images["graphid"].src = Image1.src;
Image1.free;
inside = 0;
}
}
function start (element_id) {
timer_id=window.setTimeout("updater()", delay);
}
function stop () {
window.clearTimeout(timer_id);
}
// -->
</SCRIPT>
</head>
<BODY onload="start(document)"
onunload="stop()">
<form>
<input type="text" name="temp">
</form>
<p>The following graph is generated on-the-fly and just shows the
graphics generation capability.</p>
<p>To change the graph, pick <i>Change Settings</i> in the top frame.</p>
<img src="graph.gif" name="graphid" width=400 height=100>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -