Hi all,<br><br>The Script Plugin for DrRacket may help to create simple plugins, like automatic text (or snip%s) insertion, text selection replacement (and much more), without needing to restart DrRacket :<br><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><br>
Docs:<br><a href="http://planet.plt-scheme.org/package-source/orseau/script-plugin.plt/2/0/planet-docs/manual/index.html">http://planet.plt-scheme.org/package-source/orseau/script-plugin.plt/2/0/planet-docs/manual/index.html</a><br>
<br>Shortcuts can be assigned to scripts.<br><br>There are a number of examples in the docs and in the "examples" directory.<br><br>I tried to make it very simple to use, but still allowing for a good deal of customization.<br>
Feedback is much welcome.<br><br>Cheers,<br>Laurent<br>