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!