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>