User:Gerbrant/gui/taskbar.js

document.write("\ \ {\	position:absolute;\	z-index:256;\	left:0;top:0;width:100%;\	padding:2px 0 2px;\	border-bottom:1px solid #888;\	background:#eee;\	display:none;\ }\ .gerbrant-taskbarbutton\ {\	margin:0 0.5em 0;\	border:1px solid #88f;\	background:#ddf;\	color:#000;\ }\ ");
 * 1) gerbrant-taskbar\

module("Gerbrant.gui.taskbar", new function {	var s;	var divTaskbar = document.createElement("DIV");	divTaskbar.id = "gerbrant-taskbar";

this.addWindow = function(w) {		var a = document.createElement("A"); a.className = "gerbrant-taskbarbutton"; a.innerHTML = w.getCaption; a.onclick = function {			w.setVisible(!w.getVisible); }

divTaskbar.appendChild(a); divTaskbar.style.display = "block";

//Ugly temporary hack waiting for a restyle. Well, nobody is using this script so I guess it doesn't matter. document.getElementById("globalWrapper").style.cssText="top:1em;border-top:1px solid white;position:relative"; document.getElementById("column-one").style.cssText="top:0em";

};

hookEvent("load", function	{		document.body.insertBefore(divTaskbar, document.body.firstChild);	}); });