Utente:Salvatore Ingala/scripts/portlet.js

Questa pagina definisce alcuni parametri di aspetto e comportamento generale di tutte le pagine. Per personalizzarli vedi Aiuto:Stile utente.

Nota: dopo aver salvato è necessario pulire la cache del proprio browser per vedere i cambiamenti (per le pagine globali è comunque necessario attendere qualche minuto). Per Mozilla / Firefox / Safari: fare clic su Ricarica tenendo premuto il tasto delle maiuscole, oppure premere Ctrl-F5 o Ctrl-R (Command-R su Mac); per Chrome: premere Ctrl-Shift-R (Command-Shift-R su un Mac); per Konqueror: premere il pulsante Ricarica o il tasto F5; per Opera può essere necessario svuotare completamente la cache dal menù Strumenti → Preferenze; per Internet Explorer: mantenere premuto il tasto Ctrl mentre si preme il pulsante Aggiorna o premere Ctrl-F5.

/* <nowiki> */

/*
Some useful functions for manipulating portlets.
*/

//Create a blank portlet which can be filled with
//subsequent calls to addToPortlet.
//PARAMS:
//*      title: Top label of the portlet
//*      newid: The id of the new portlet, needed to call addToPortlet
//* beforewhat: The name of an existing portlet; the new portlet is placed before it.
//              If void or invalid, the portlet is added after all the other ones.
function createPortlet(title, newid, beforewhat)
{
    var y;
    var z;
    var f = document.getElementById("column-one");

    var portlet = document.createElement('div');

    var pos;
    if (beforewhat) pos = document.getElementById(beforewhat);

    portlet.className = "portlet";
    portlet.id = newid;
    y = document.createElement('h5');
    y.appendChild(document.createTextNode(title));

    portlet.appendChild(y);

    y = document.createElement('div');
    y.className= "pBody";

    portlet.appendChild(y);

    if (beforewhat) f.insertBefore(portlet, pos);
    else f.appendChild(portlet);
   
}

//Add something to a portlet.
//PARAMS:
//*  id: The id of the portlet.
//* obj: The object to be added. 
function addToPortlet(id, obj)
{
    var f = document.getElementById(id);

    f = f.getElementsByTagName("div")[0];
    f.appendChild(obj);
}

/* </nowiki> */