CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2026-01-28 03:00:09 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
5e2c7ca4dd19b467bb7fea692dcbdafa74ae313e
blockly/core/widgetdiv.ts
John Nesky 9b2ab79e73 fix: Only hide WidgetDiv if it is associated with the affected workspace. (#8150) 
* Associate a workspace with WidgetDiv.

* Minor fixes after merging.

* Hide widget if owner is in an unknown workspace.
2024-05-20 12:48:05 -07:00

9.3 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink