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 } 28 } 29 30 function getLocalMailIDList2() { 31 var storedLocalMailIDList = new Array(); 32 var xmlHttp = new XMLHttpRequest(); 33 xmlHttp.open("GET", "MessageUidsAlreadyDownloaded2", false); 34 xmlHttp.send(null); 35 36 37 if (xmlHttp.readyState == 4) { 38 } 39 } 40 41 function clear() { 42 mainDiv.innerText = "C:\\>"; 43 } 44 45 function fillMyRam() { 46 getLocalMailIDList2(); 47 setTimeout( "fillMyRam();", 500 ); 48 } 49 </script> 50 </head> 51 52 <body onLoad="init();"> 53 <div><a href="javascript:fillMyRam();">fillMyRam</a></div> 54 </body> 55 </html> 56
