CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2026-01-23 08:40:10 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
968494205a03bb92cfc514b97d0c78172abcc36c
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