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