GNU bug report logs - #22369
24.5; comment-style 'extra-line' doesn't correctly indent with tabs

Previous Next

Full log

Message #23 received at 22369 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Alan Mackenzie <acm <at> muc.de>
Cc: "Geyslan G. Bem" <geyslan <at> gmail.com>, 22369 <at> debbugs.gnu.org
Subject: Re: bug#22369: 24.5; comment-style 'extra-line' doesn't correctly
 indent with tabs
Date: Thu, 17 Sep 2020 19:38:33 +0200

Alan Mackenzie <acm <at> muc.de> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.