mirror of
https://github.com/google/blockly.git
synced 2026-01-08 01:20:12 +01:00
* Associate a workspace with WidgetDiv. * Minor fixes after merging. * Hide widget if owner is in an unknown workspace.
7.4 KiB
7.4 KiB