Am 02.08.2005 um 17:09 schrieb Andreas Gerdes:

>
> So anyone who wants automatic indenting again, just has to change  
> two lines of code, but: could this be called a fix?

Maybe we could have a Preference for that... then people can choose  
what they prefer.

> (How to proceed on Mantis?)

The first step is to just add this as a comment (done).

     Marcus