Changeset 14208 for trunk/FACT++/www/smartfact
- Timestamp:
- 06/22/12 10:04:40 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/FACT++/www/smartfact/index.js
r14144 r14208 136 136 function sendCommand(command) 137 137 { 138 if (command=="stop") 139 { 140 if (!confirm("Do you really want to stop a running script?")) 141 return; 142 } 143 138 144 var debug = false; 139 145 … … 416 422 fdiv1.id = "localtime"+z; 417 423 424 fdiv0.onclick = function () { window.location='https://www.fact-project.org/logbook/misc.php?action=mobile'; } 418 425 fdiv0.appendChild($txt("logbook")); 419 426 fdiv1.appendChild($txt("loading...")); … … 505 512 img.src = "img/dummy.png";//needed in firefox 506 513 img.id = "image"+z; 507 img.setAttribute("style", "width:1px;height:1 px;display:none;");514 img.setAttribute("style", "width:1px;height:15px;display:none;"); 508 515 td.appendChild(img); 509 516 … … 622 629 input.maxlength = 80; 623 630 input.style.textAlign = "right"; 631 input.style.width = "100%"; 624 632 if (opt.length>2) 625 633 input.value=opt[2]; … … 706 714 707 715 table.pageName = name;//setAttribute("data-file", name); 716 717 // This is needed so that the page is extended in height 718 // _before_ the sliding (in case it contains graphics 708 719 doresize(z); 709 720 } … … 775 786 if (oldz==newz) 776 787 { 777 $("table"+newz).style.left="0px"; 788 var tab = $("table"+newz); 789 790 tab.style.left="0px"; 791 tab.style.position="absolute"; 792 778 793 $("body").visiblePage = newz; //.setAttribute("data-visible", newz); 779 794 780 doresize( 0);795 doresize(newz); 781 796 782 797 //setInterval(refresh_text, 1000);
Note:
See TracChangeset
for help on using the changeset viewer.