Is there a way to set the paragraph width to 80 (it seems to be set to 60)?
/Jens Axel 2016-03-04 21:06 GMT+01:00 Robby Findler <ro...@eecs.northwestern.edu>: > Lei Wang actually implemented it. I gave him some advice about it, but > it was his work. I'm very happy he did it too! > > https://github.com/LeiWangHoward > > Robby > > > On Fri, Mar 4, 2016 at 10:31 AM, Matthias Felleisen > <matth...@ccs.neu.edu> wrote: > > > > Thank you Robby. He added this a while back because it was my primary > complaint about scribble in dr. > > > > > > On Mar 4, 2016, at 10:40 AM, "'John Clements' via Racket Users" < > racket-users@googlegroups.com> wrote: > > > >> I was editing scribble code, and by reflex, typed meta-q to reflow the > >> text. I was somewhat astonished when it worked. Is this a recent change? > >> > >> I think I take DrRacket for granted way too often. Many, many thanks for > >> an awesome IDE. > >> > >> John > >> > >> > >> > >> -- > >> 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. > -- -- Jens Axel Søgaard -- 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.
