function changeTheme() {
	var foo = $("code-foo");
	var theme = Form.Element.getValue("style-selector");
	foo.className = "textmate-source " + theme;
	return false;
}

function changeFont() {
	var foo = $("code-foo");
	var font = Form.Element.getValue("font-selector");
	foo.style.setProperty("font-family", font, null);
/*	alert(foo.style.getPropertyValue("font-family"));*/
/*	foo.style.font-family = font;*/
return false;
}



function changeSource() {
	var foo = $("code-foo");
	foo.style.setProperty("padding-left", "4em", null);
	var pars = Form.serialize('source-selector-form');
	new Ajax.Updater(
		'code-foo',
		'code.php',
		{
			method: 'post', 
			parameters: pars
		});
		return false;
}


function switchLineNumbers() {
	var value = Form.Element.getValue('line-switcher');
	var foo = $("code-foo");
	var gutter = $("gutter");
	
	var lines = $$('.linenum');
	lines.each(function(element) {
		if(!value) {
			foo.style.setProperty("padding-left", "1ex", null);
			element.hide();
		} else {
			foo.style.setProperty("padding-left", "4em", null);
			element.show();
		}
	});

	if(!value) {
		gutter.hide();
	} else {
		gutter.show();
	}

	return false;
}


function toggleWrapping() {
	var value = Form.Element.getValue('wrap-switcher');
	var foo = $("code-foo");
/*	if(!value) {
		foo.style.setProperty("word-wrap", "normal", null);
		foo.style.setProperty("white-space", "normal", null);
		foo.style.setProperty("overflow", "scroll", null);
	} else {
		foo.style.setProperty("overflow", "visible", null);
		foo.style.setProperty("word-wrap", "break-word", null);
		foo.style.setProperty("white-space", "pre", null);
		foo.style.setProperty("white-space", "pre-wrap", null);
		foo.style.setProperty("white-space", "-moz-pre-wrap", null);
		foo.style.setProperty("white-space", "-o-pre-wrap", null);
	}*/
	return false;
}