search

Metaxal / quickscript

Easy scripting for DrRacket
Other
17 stars 6 forks source link

Check if the script's properties have changed upon running it #40

Open Metaxal opened 4 years ago

Metaxal commented 4 years ago

In particular, if #:output-to has changed, then it must be reloaded. Unfortunately, this may incur some delay.

Another possibility is to first check if the file timestamp is newer than the latest reload.