Dexter’s Quick  Scripts
1 Installation
2 Scripts
3 Customizing
8.12

Dexter’s QuickScripts🔗ℹ

Some scripts for Quickscript.

1 Installation🔗ℹ

In DrRacket, in File|Package manager|Source, enter dexter-quickscripts.

Or, on the command line, type: raco pkg install dexter-quickscripts.

If DrRacket is already running, click on Scripts|Manage scripts|Compile scripts and reload menu.

2 Scripts🔗ℹ

3 Customizing🔗ℹ

Scripts can be selectively deactivated from the library (Scripts|Manage scripts|Library).

If you change the source code of a script installed from the quickscript-extra package (or from any package containing quickscripts), you will lose all your modifications when the package is updated. To avoid this, you can use Quickscript’s shadow scripts: The shadow script calls the original script without modifying it, and can be modified to your taste without being modified when the original script is updated.

In particular, if you want to change the default label, menu path or keybinding of a script installed from quickscript-extra, go to Scripts|Manage|Library..., select the quickscript-extra directory, then the script you want, and click on Shadow. This opens a new (shadow) script that calls the original script where you can change what you want.

Note that the shadowed script is deactivated so as to avoid duplicate menu entries and keybindings.