[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Space after inline comment char

From: Ralf Angeli
Subject: Re: Space after inline comment char
Date: Mon, 17 Apr 2006 11:28:23 +0200

* Stefan Monnier (2006-04-17) writes:

>> That will result in
>> ; foo
>> whereas it should be
>> ;; foo
> Good point.  I believe the patch below has fixed it,

It did.  I still think it would be nice if one could control spaces
after comment starterts with `comment-padding' _everywhere_,
i.e. after comment starters inserted by `comment-indent' as well.
That would feel more consistent.  But then, the doc string of
`comment-padding' only talks about `comment-region'.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]