problem with pre tag is that the linebreaks do not even reach the server - they are taken out before the browser sends the content of the window to the server as the textarea has the wrap attribute set to "soft"
MudGuard