[racket] DrRacket GEdit-like "External tools"

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Apr 5 12:11:09 EDT 2012

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?


On Thu, Apr 5, 2012 at 10:31 AM, Laurent <laurent.orseau at gmail.com> 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:
> https://live.gnome.org/Gedit/Plugins/ExternalTools?action=AttachFile&do=get&target=external-tools-manager-with-gedit-3.png
> 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
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users

Posted on the users mailing list.