Closed zhaopuming closed 10 years ago
never mind, I changed public:
to public {
directly, hence the indentation level of public {
is wrong actually. So there is no problem here.
Is it incosistently indented inside the public { }
? I.e. is the name
-indent unequal compared to the args
-indent?
If so, then this was a bug. Otherwise, it's just my opinion that {}
-surrounded blocks should be indented in general :-D
You are right, public { }
should be indented, after a format code
every things is fine:
class Command
{
public {
string name; // press enter here
string[] args; // gives wrong indentation level;
}
}
there is no bug
when using public blocks instead of
public:
, the indentation level is wrong in the block.