Here is an alpha version of a plugin that does partly what I wanted: <a href="http://planet.plt-scheme.org/display.ss?package=script-plugin.plt&owner=orseau">http://planet.plt-scheme.org/display.ss?package=script-plugin.plt&owner=orseau</a> I'm pretty sure we could do much more. Note that since it is a prototype version, some things may change in the somewhat near future, potentially in a non-backward compatible way. Comments et al. welcome, and feel free to fork. Laurent <div class="gmail_quote">On Thu, Apr 5, 2012 at 18:11, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> That would be a very cool thing. Asumu: if it still hasn't happened by next summer, maybe this one should go in the GSoC list? Robby <div><div class="h5"> On Thu, Apr 5, 2012 at 10:31 AM, Laurent <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>> wrote: > Hi, > > Does anyone know about a DrRacket Plugin that would look like GEdit > "External Tools"? Could'nt find anything of the like on PLaneT. > > The idea is to have an embedded editor for small scripts that can, for > example, take the current text selection as input and replace the text > in-place by the output of the script. > Sample: > <a href="https://live.gnome.org/Gedit/Plugins/ExternalTools?action=AttachFile&do=get&target=external-tools-manager-with-gedit-3.png" target="_blank">https://live.gnome.org/Gedit/Plugins/ExternalTools?action=AttachFile&do=get&target=external-tools-manager-with-gedit-3.png</a> > > The input can either be nothing, the current document, the current > selection, the current line, or the current word (considering s-expr would > be an obvious extension). > The output can also be redirected to some other panel, created in a new > file, or inserted at the cursor. > An menu-item is added automatically for each script (without even needing to > restart GEdit), and a keyboard shortcut can be assigned to each one. > GEdit uses the linux shell and can therefore work with different languages, > but I don't think anyone would dare to complain if such a tool would be > "limited" to the Racket languages. > > That would certainly make DrRacket much more easily configurable! Up to now, > this has been the most convenient way I've seen to easily extend an IDE for > a large variety of simple actions. > > By the way, I think it would make sense to have a dedicated "DrRacket > Plugins" section on PLaneT. > > Thanks, > Laurent > </div></div>> ____________________ > Racket Users list: > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> > </blockquote></div>