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!