function pre_to_textarea(ev)
{
    ev.preventDefault();
    var ta = $('<textarea>');
    ta.text($(this).text());
    ta.height($(this).height());
    ta.width($(this).width() - 6);
    ta.css('font-family', $(this).css('font-family'));
    ta.css('font-size', $(this).css('font-size'));
    var h = $(this).html();
    var a = $(this).attr ('class');
    ta.blur(function(ev) {
	var pre = $('<pre>');
	pre.html (h);
	pre.attr ('class', a);
	pre.dblclick (pre_to_textarea);
	$(this).replaceWith(pre);
    });
    $(this).replaceWith(ta);
    ta.focus();
}

$(window).load(function(){
	$('pre').dblclick(pre_to_textarea);
});