On ĵaŭ, 2003-01-02 at 09:50, Magnus Manske wrote:
Derek Moore wrote:
Edit the page, and insert a space at the beginning of the first line, then save. Now edit the page again, and put the disappearing space back and try to pad the top
No bug. On saving, it removesblank lines and spaces at the beginning and end of the article.Leading blank lines (and the ones at the end, too) look ugly, and removing them saves disk space ;-)
The automatic trimming was added specifically to kill trailing newlines inserted automatically by some web browsers on edit; leading blank spaces at the beginning can be legitimate and eating them is an unintended behavior. If there's no objection I'll change the trim() to rtrim().
-- brion vibber (brion @ pobox.com)