Thanks Matthias.

Your enthusiasm and guidance is appreciated - I do what I can.

I'm prioritising;
 a) adding some more recent pictures to DrR documentation (adding images
from racket 6.11)
a) starting on an address/context bar -
https://github.com/racket/drracket/issues/171

Also - thank you to Robby who has already provided much guidance and
support.

Stephen




On Fri, 24 Nov 2017 at 21:30, Matthias Felleisen <[email protected]>
wrote:

> On Nov 24, 2017, at 9:35 AM, Stephen De Gabrielle <[email protected]>
> wrote:
>
> I’m thinking about spending some of my spare time on DrRacket and the GUI
> libraries and would appreciate your feedback about where you think I should
> put my efforts, both in the ideas below (that I have cribbed from other
> IDE’s) and any suggestions you have.
>
>
> Let me start with a big “thank you.”  Many of these things are needed and
> will greatly improve DrR’s usability. When I run my Sw Dev course at
> Northeastern, I allow students to use whatever language/IDE they want. I
> often see ideas in new IDEs that we have/thought of a long time ago and
> think “cool perhaps they imitated us and Robby should feel immensely
> flattered.”  And then I see cool ideas in these new IDEs and I am jealous.
> I don’t want to be jealous, I just want these features :-)
>
>  I don’t want to go down any paths that might be undesirable in general,
> but also specifically in the role as a IDE for teaching/learning.
>
>
> Totally understood.
>
> I believe the concept of ‘projects’ (like in xcode) is undesirable in this
> context, but please correct me if I am wrong about this.
>
>
>
> Correct. If you ever feel the need for a project, we need to improve the
> language.
>
> I’ve read your list and I like all of the ideas. So w/o sounding like
> someone who will steal all your time, can I have all of it :-)
>
> — Matthias
>
>
>
>
> --
Kind regards,
Stephen
--
Ealing (London), UK

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAGHj7-KZy1QbcrG1FYWxeanXttpveG4-CkMn7qDS8iee%2B_1%3D%2Bg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to