It's quite common for C and Java sources to start with
the following type of comments:
/*
* foobar
* ...
*/
(in case you don't see it, there are spaces before
asterisks)
indent.auto=1, which is normally quite handy, sets
Indent Size to 1 for such files
(the code is really indented with 4 spaces, for example),
which is completely useless.
I think indent.auto should never set Indent Size to 1.
Logged In: YES
user_id=12579
Some people use single space indentation or have to deal
with files with single space indentation. Implementing
comment avoiding indentation discovery is a much more
complex feature that should be handled with script.