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