annotate StyleSwitcher.js @ 4:3adedf57dc77

On ignore les fichiers de sauvegarde
author Franck Deroche <webmaster@defr.org>
date Sat, 20 Oct 2007 16:28:08 +0200
parents 629389204276
children
rev   line source
webmaster@0 1 function setActiveStyleSheet(title) {
webmaster@0 2 var i, a, main;
webmaster@0 3 for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
webmaster@0 4 if(a.getAttribute("rel").indexOf("Style") != -1 && a.getAttribute("title")) {
webmaster@0 5 a.disabled = true;
webmaster@0 6 if(a.getAttribute("title") == title) a.disabled = false;
webmaster@0 7 }
webmaster@0 8 }
webmaster@0 9 createCookie("style", title, 365);
webmaster@0 10 document.chosenStyleSheet = title;
webmaster@0 11 }
webmaster@0 12
webmaster@0 13 function getActiveStyleSheet() {
webmaster@0 14 /* var i, a;
webmaster@0 15 for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
webmaster@0 16 if(a.getAttribute("rel").indexOf("Style") != -1 && a.getAttribute("title") && !a.disabled) return a.getAttribute("title");
webmaster@0 17 }
webmaster@0 18 return null;*/
webmaster@0 19 return document.chosenStyleSheet;
webmaster@0 20 }
webmaster@0 21
webmaster@0 22 function getPreferredStyleSheet() {
webmaster@0 23 var i, a;
webmaster@0 24 for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
webmaster@0 25 if(a.getAttribute("rel").indexOf("Style") != -1
webmaster@0 26 && a.getAttribute("rel").indexOf("Alt") == -1
webmaster@0 27 && a.getAttribute("title")
webmaster@0 28 ) return a.getAttribute("title");
webmaster@0 29 }
webmaster@0 30 return null;
webmaster@0 31 }
webmaster@0 32
webmaster@0 33 function createCookie(name,value,days) {
webmaster@0 34 if (days) {
webmaster@0 35 var date = new Date();
webmaster@0 36 date.setTime(date.getTime()+(days*24*60*60*1000));
webmaster@0 37 var expires = "; expires="+date.toGMTString();
webmaster@0 38 }
webmaster@0 39 else expires = "";
webmaster@0 40 document.cookie = name+"="+value+expires+"; path=/";
webmaster@0 41 }
webmaster@0 42
webmaster@0 43 function readCookie(name) {
webmaster@0 44 var nameEQ = name + "=";
webmaster@0 45 var ca = document.cookie.split(';');
webmaster@0 46 for(var i=0;i < ca.length;i++) {
webmaster@0 47 var c = ca[i];
webmaster@0 48 while (c.charAt(0)==' ') c = c.substring(1,c.length);
webmaster@0 49 if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
webmaster@0 50 }
webmaster@0 51 return null;
webmaster@0 52 }
webmaster@0 53
webmaster@0 54 window.onunload = function(e) {
webmaster@0 55 var title = getActiveStyleSheet();
webmaster@0 56 createCookie("style", title, 365);
webmaster@0 57 }