<SCRIPT LANGUAGE="JavaScript" TYPE="text/javascript">
<!--
function getSel()
{
var anfang = document.forms[0].selectedtext.value;
if (document.getSelection) txt = document.getSelection();
else if (document.selection) txt = document.selection.createRange().text;
else return;
document.forms[0].selectedtext.value = anfang + txt.replace(new RegExp('([\f\n\r\t\v ])+', 'g')," ");
}
// -->
</SCRIPT>
Gruß aus Berlin!
eddi