1
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
5
<title>TestWidget 1.3</title>
6
<script type="text/javascript">
8
var widgetID = "12345678";
11
mainDiv = document.getElementById( "main" );
13
if ( window.widget ) {
14
widget.setCloseBoxOffset( 304, 16 );
15
window.resizeTo( 640, 480 );
16
//widgetID = widget.identifier;
20
function getLocalMailIDList() {
21
var storedLocalMailIDList = new Array();
22
var xmlHttp = new XMLHttpRequest();
23
xmlHttp.open("GET", "MessageUidsAlreadyDownloaded2", false);
26
if (xmlHttp.readyState == 4) {
30
function getLocalMailIDList2() {
31
var storedLocalMailIDList = new Array();
32
var xmlHttp = new XMLHttpRequest();
33
xmlHttp.open("GET", "MessageUidsAlreadyDownloaded2", false);
37
if (xmlHttp.readyState == 4) {
42
mainDiv.innerText = "C:\\>";
45
function fillMyRam() {
46
getLocalMailIDList2();
47
setTimeout( "fillMyRam();", 500 );
52
<body onLoad="init();">
53
<div><a href="javascript:fillMyRam();">fillMyRam</a></div>