Here is an alpha version of a plugin that does partly what I wanted: http://planet.plt-scheme.org/display.ss?package=script-plugin.plt&owner=orseau 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 On Thu, Apr 5, 2012 at 18:11, Robby Findler <[email protected]>wrote: > 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 <[email protected]> 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 > > >
____________________ Racket Users list: http://lists.racket-lang.org/users
