I think that there is a point in keeping the colors so it would be best to have some indication of comment-ness that gets added, like a different background. On Dec 27, 2012 10:48 PM, "Matthias Felleisen" <matth...@ccs.neu.edu> wrote:
> > On Dec 27, 2012, at 1:52 PM, Robby Findler wrote: > > it would be best if they turned into comment color but were still indented > properly. > > Patches welcome. > > > +1 > > > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev > >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
