→ISet<ElementId>The list of levels ids where grids are displayed in 3D views.
Thanks for the report.
Erik will look at it. You can keep using the site.
Embed this page
Sections to include
Theme
Adds a tiny script so the iframe grows to fit its content. Some sites (Medium, Notion) strip scripts, leave this off for those and the embed scrolls inside a fixed height.