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

..

comment_view.ts

fix: Normalize CSS between comment types (#8161)

2024-05-20 18:59:24 +02:00

rendered_workspace_comment.ts

fix: Only hide WidgetDiv if it is associated with the affected workspace. (#8150)

2024-05-20 12:48:05 -07:00

workspace_comment.ts

chore: delete old comments (#8038)

2024-04-17 14:33:36 -07:00