Difference between revisions 10883753 and 10883793 on frwiktionary

// --------------------------------------------------------------------------------------------
// Création d'un mot à partir d'un patron généré automatiquement
// à partir de quelques clics dans une boite de dialogue
//
// --------------------------------------------------------------------------------------------
// Code en partie inspiré de w:MediaWiki:Gadget-RenommageCategorie.js
// et aussi de MediaWiki:Gadget-SpecialChar.js
// Le reste est fait par ArséniureDeGallium, sous CC-BY-SA.
(contracted; show full)    Menu.className ='CrNoMo_Menu';
    Menu.style.position='fixed';
    Menu.style.zIndex= 500;
    Menu.style.padding='5px';
    Menu.style.backgroundColor='white';
    Menu.style.border='3px double black';
    Menu.style.width= '450px';
    Menu.style.height= '
14600px';
    document.body.appendChild(Menu);
    PositionGauche = parseInt((LargeurEcran-Menu.clientWidth)/2) ;
    PositionHaut = parseInt((HauteurEcran-Menu.clientHeight)/30) ;
    Menu.style.left=PositionGauche + 'px';
    Menu.style.top=PositionHaut + 'px'; 
    Menu.innerHTML = MenuContent;

}

// --------------------------------------------------------------------------------------------
(contracted; show full)    var agt=navigator.userAgent.toLowerCase();
    var is_ie = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
    if(is_ie){
        OldElement.removeNode(true);
    }else{
        if(OldElement.parentNode){document=OldElement.parentNode.removeChild(OldElement);}
    }
}