Changeset 14208


Ignore:
Timestamp:
06/22/12 10:04:40 (12 years ago)
Author:
tbretz
Message:
Added a confirmation if a script shoulw be stopped; fixed a problem with a missing scroll bar when a page is loaded; added a link to the mobile version of the logbook
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/FACT++/www/smartfact/index.js

    r14144 r14208  
    136136function sendCommand(command)
    137137{
     138    if (command=="stop")
     139    {
     140        if (!confirm("Do you really want to stop a running script?"))
     141            return;
     142    }
     143
    138144    var debug = false;
    139145
     
    416422    fdiv1.id = "localtime"+z;
    417423
     424    fdiv0.onclick = function () { window.location='https://www.fact-project.org/logbook/misc.php?action=mobile'; }
    418425    fdiv0.appendChild($txt("logbook"));
    419426    fdiv1.appendChild($txt("loading..."));
     
    505512            img.src = "img/dummy.png";//needed in firefox
    506513            img.id = "image"+z;
    507             img.setAttribute("style", "width:1px;height:1px;display:none;");
     514            img.setAttribute("style", "width:1px;height:15px;display:none;");
    508515            td.appendChild(img);
    509516
     
    622629                input.maxlength = 80;
    623630                input.style.textAlign = "right";
     631                input.style.width = "100%";
    624632                if (opt.length>2)
    625633                    input.value=opt[2];
     
    706714
    707715    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
    708719    doresize(z);
    709720}
     
    775786    if (oldz==newz)
    776787    {
    777         $("table"+newz).style.left="0px";
     788        var tab = $("table"+newz);
     789
     790        tab.style.left="0px";
     791        tab.style.position="absolute";
     792
    778793        $("body").visiblePage = newz; //.setAttribute("data-visible", newz);
    779794
    780         doresize(0);
     795        doresize(newz);
    781796
    782797        //setInterval(refresh_text, 1000);
Note: See TracChangeset for help on using the changeset viewer.