Subject: Re: bug#22369: 24.5; comment-style 'extra-line' doesn't correctly indent with tabs

From: Lars Ingebrigtsen <[email-masked]>
Date: Thu, 17 Sep 2020 19:38:33 +0200

Alan Mackenzie <[email-masked]> writes:

>> May I suggest the addition of a new comment-style option that does like this?
>
>>         /* void main()
>>          * {
>>          *  int i;
>>          *  int b;
>>          *  printf("format string");
>>          * }
>>          */
>
> OK, because of this feature request, I'll leave the bug open.  This would
> indeed not be difficult to implement, but it'll have to be discussed on
> the developers' mailing list.

Was this ever discussed any further?  It looks a bit odd to me...

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no