<div dir="ltr">Hi everybody,<div><br></div><div>Yesterday I did a copy-paste search of text containing tabs instead of whitespaces.</div><div><br></div><div>Question:</div><div>- Wouldn't it be nice, if other whitespaces are converted to spaces if occuring?</div><div><br></div><div>Regards, Olivier</div></div>