Am 23.02.2012 22:15, schrieb Georg Brandl:
> I've also encountered this bug. The point is that there is no reason to
> indent that block to 16, not 12!
>
Okay, will fix smart-indentation so it doesn't take action in nested blocks.
Remains the question if 16 would be a permitted indent - reasonable or not.
Am 23.02.2012 22:15, schrieb Georg Brandl:
> I've also encountered this bug. The point is that there is no reason to
> indent that block to 16, not 12!
>
Okay, will fix smart-indentation so it doesn't take action in nested blocks.
Remains the question if 16 would be a permitted indent - reasonable or not.