1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<title>TestWidget 1.3</title>
<script type="text/javascript">
var mainDiv;
var widgetID = "12345678";
function init() {
mainDiv = document.getElementById( "main" );
if ( window.widget ) {
widget.setCloseBoxOffset( 304, 16 );
window.resizeTo( 640, 480 );
//widgetID = widget.identifier;
}
}
function getLocalMailIDList() {
var storedLocalMailIDList = new Array();
var xmlHttp = new XMLHttpRequest();
xmlHttp.open("GET", "MessageUidsAlreadyDownloaded2", false);
xmlHttp.send(null);
if (xmlHttp.readyState == 4) {
xmlHttp.responseText;
}
}
function getLocalMailIDList2() {
var storedLocalMailIDList = new Array();
var xmlHttp = new XMLHttpRequest();
xmlHttp.open("GET", "MessageUidsAlreadyDownloaded2", false);
xmlHttp.send(null);
if (xmlHttp.readyState == 4) {
xmlHttp.responseText;
}
}
function clear() {
mainDiv.innerText = "C:\\>";
}
function fillMyRam() {
getLocalMailIDList2();
setTimeout( "fillMyRam();", 500 );
}
</script>
</head>
<body onLoad="init();">
<div><a href="javascript:fillMyRam();">fillMyRam</a></div>
</body>
</html>
|
