
laurent.orseau
2020-7-8 10:46:41
@robby Is there a way to programmatically deactivate background expansion?

laurent.orseau
2020-7-8 10:47:22
(I need to get the activation state, deactivate for a while, do some work, then reactivate it if it was activated)

robby
2020-7-8 11:58:23
It looks like (preferences:set 'drracket:online-compilation-default-on #f)
should disable it.

robby
2020-7-8 12:01:53
Setting the preference is the same as clicking on the little bubble and choosing the menu item that appears. Using preferences:get
tells you what state it is in.

laurent.orseau
2020-7-8 12:04:04
Perfect, thanks!