mirror of
https://github.com/google/blockly.git
synced 2026-01-10 18:37:09 +01:00
Same as PR #5640, except for the addition of a parameter in the JSON to turn this on or off. While one would normally want animations/sounds on (e.g. undo/redo stack) sometimes they'd be annoying (e.g. events from realtime collaborators).