/* Ce fichier doit impérativement être uploadé en même temps que menugauche_plus_googlemap.js sinon il est impossible de faire
/* fonctionner le menu glissant en même temps que googlemap */

/* ajoute une fonction à celles déjà présentes pour l'évènement window.onload */
function addLoadEvent(func) {
        var oldonload = window.onload;
        if (typeof window.onload != 'function') {
                window.onload = func;
        } else {
                window.onload = function() {
                        oldonload();
                        func();
                }
        }
}

/* ajoute une fonction à celles déjà présentes pour l'évènement window.onunload */
function addUnloadEvent(func) {
   var oldonunload = window.onunload;
   if (typeof window.onunload != 'function') {
        window.onunload = func;
   } else {
                window.onunload = function() {
                        oldonunload();
                        func();
                }
   }
}