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