reloading workspace options

[Florian Wörister]

Hello,

I am currently developing a programming environment based on the Blockly library. At the moment, I am trying to add a sound toggle that allows me to mute and unmute the Blockly sound effects.

What is the best way to update the options object of the workspace without re-injecting the entire workspace?

I would appreciate any hints or suggestions on this issue.

Best regards, Florian

[Aaron Dodson]

You should be able to just call workspace.getAudioManager().setMuted(true);