Re: [racket-users] Embedding a map widget in the DrRacket REPL

2019-09-06 Thread Robby Findler
Wow, thank you! Robby On Thu, Sep 5, 2019 at 11:00 PM Alex Harsanyi wrote: > > > On Wednesday, September 4, 2019 at 7:50:19 PM UTC+8, Stephen De Gabrielle > wrote: >> >> Dr Racket is amazing. Need to a demo of this and plot side by side. >> > > I can do better than just put a plot and a map wid

[off-topic] Re: [racket-users] Embedding a map widget in the DrRacket REPL

2019-09-06 Thread Stephen De Gabrielle
That is awesome - How you make your videos? - I like the annotations. Kind regards Stephen On Friday, September 6, 2019 at 4:59:56 AM UTC+1, Alex Harsanyi wrote: > > > > On Wednesday, September 4, 2019 at 7:50:19 PM UTC+8, Stephen De Gabrielle > wrote: >> >> Dr Racket is amazing. Need to a de

Re: [racket-users] Embedding a map widget in the DrRacket REPL

2019-09-05 Thread Alex Harsanyi
On Thursday, September 5, 2019 at 10:14:15 PM UTC+8, Laurent wrote: > > This is utterly cool! > > If I may, I suggest to rebind up and down to page up and page down (or > even the converse, as "down" means to me "go downwards towards Earth"), use > the arrows to navigate NESW, and bind mouse sc

Re: [racket-users] Embedding a map widget in the DrRacket REPL

2019-09-05 Thread Alex Harsanyi
On Wednesday, September 4, 2019 at 7:50:19 PM UTC+8, Stephen De Gabrielle wrote: > > Dr Racket is amazing. Need to a demo of this and plot side by side. > I can do better than just put a plot and a map widget side by side: https://youtu.be/R2KU0ZvIJws Alex. > > DrRacket is so close to bei