I downloaded the new snapshot as soon as I could to try it out. Thank you! This is my new favorite thing about DrRacket!
On Apr 7, 2015, at 7:55 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > If you have a recent snapshot build then you can say "raco pkg update > drracket". It should also be in today's snapshots (I think it made the > deadline). > > Robby > > On Tuesday, April 7, 2015, Joshua Grams <j...@qualdan.com> wrote: > On Monday, April 6, 2015 at 6:46:35 PM UTC-4, Robby Findler wrote: > > I've just pushed a change to DrRacket to do that. Thanks for the > > prompting; it helped me realize a better approach than what was there > > before. > > > > The way it now works is less accurate than it was before but I think a > > win overall. > > Woah! Now that's service! :) > > Is building DrRacket something I can do myself? I've been a (mostly hobby) > programmer for a long time, so it's only Racket that I'm unfamiliar with. I > did a quick search and didn't see any obvious instructions (actually, I > haven't even found the source code yet; looks like it's not in the main > Racket source, and there's no separate repository for it under github/plt?). > But I'll keep looking... > > Also I've accumulated a list of other polish/feature requests based on my > first impressions. Are you interested in those? They're mostly minor, > but...much as I hate to agree with Paul Graham, I think there's some truth to > it when he says "It's worth trying very, very hard to make technology easy to > use. [...] A 10% improvement in ease of use doesn't just increase your sales > 10%. It's more likely to double your sales." > > --Josh > > -- > 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.
