Re: [racket-users] DrRacket Plugin development

2018-05-09 Thread Matthias Felleisen

> On May 9, 2018, at 12:18 PM, James Yoo  wrote:
> 
> Hi all!
> 
> I'm an undergraduate TA for a Canadian university which uses DrRacket as its 
> primary IDE for its introductory programming course. As a fun side project
> to keep me busy during the summer, I was hoping to develop a DrRacket plugin 
> which basically acts as an in-editor help desk. My vision for this is to
> have a window that pops up once a user hovers over a function name that 
> contains information from the help desk. I've already looked at the existing 
> documentation for creating plugins, but it seems pretty esoteric. 
> 
> I was wondering if anyone has had any experience developing tools like this.



Have you used DrRacket with Racket itself, as in #lang racket? There’s a blue 
quarter circle in the top right, which can turn into the rectangle and display 
the kind of help that I imagine you want. — Matthias

-- 
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.


[racket-users] DrRacket Plugin development

2018-05-09 Thread James Yoo
Hi all!

I'm an undergraduate TA for a Canadian university which uses DrRacket as 
its primary IDE for its introductory programming course. As a fun side 
project
to keep me busy during the summer, I was hoping to develop a DrRacket 
plugin which basically acts as an in-editor help desk. My vision for this 
is to
have a window that pops up once a user hovers over a function name that 
contains information from the help desk. I've already looked at the 
existing 
documentation for creating plugins, but it seems pretty esoteric. 

I was wondering if anyone has had any experience developing tools like this.

Thanks!

-- 
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.