Just for the record, the bug seems to be known to someone :) https://github.com/racket/gui/blob/master/gui-lib/framework/private/color.rkt#L989
On Mon, Oct 8, 2018 at 8:15 PM Robby Findler <ro...@eecs.northwestern.edu> wrote: > I like the idea that you suggested where the parens keep their paren > color but the rest of the text becomes comment colored. It's not a > trivial change, but it seems doable. > > Robby > > On Mon, Oct 8, 2018 at 12:37 PM Christopher Lemmer Webber > <cweb...@dustycloud.org> wrote: > > > > It sounds nice, but I wonder if it would be hard to shift consistently > > in the right direction for both light and dark themes... > > > > I guess if the code's opacity was reduced that could be a universal > > solution. > > > > Matthias Felleisen writes: > > > > > +1 > > > > > > > > >> On Oct 8, 2018, at 11:57 AM, Sam Tobin-Hochstadt < > sa...@cs.indiana.edu> wrote: > > >> > > >> A suggestion: what if #; comments used the code coloring, but shifted > > >> somewhat, or grayscaled, or something along those lines? > > >> > > >> Sam > > >> On Mon, Oct 8, 2018 at 11:56 AM Matthias Felleisen > > >> <matth...@felleisen.org> wrote: > > >>> > > >>> > > >>>> On Oct 8, 2018, at 11:44 AM, Greg Hendershott < > greghendersh...@gmail.com> wrote: > > >>>> > > >>>> p.s. > > >>>> > > >>>> On Mon, Oct 8, 2018 at 11:41 AM Greg Hendershott > > >>>> <greghendersh...@gmail.com> wrote: > > >>>>> Another use case (that Mattias might not love) is somewhere for > "usage > > >>>> > > >>>> Apologies for the typo, Matthias! > > >>> > > >>> > > >>> No worries. > > >>> > > >>> And for the record, I also use #; for commenting out examples > > >>> also when I work thru them. But I still feel code style is good > > >>> for those. > > >>> > > >>> -- > > >>> You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > >>> To unsubscribe from this group and stop receiving emails from it, > send an email to racket-users+unsubscr...@googlegroups.com. > > >>> For more options, visit https://groups.google.com/d/optout. > > > > -- > > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-users+unsubscr...@googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
