The New developer tools needs a workspace factory

[Kikiboom7]

Check for duplicates

• I have searched for similar issues before opening a new one.

Component

Examples/developer-tools

Problem

The new Developer tools don't have a workspace factory, how sad. :(

Request

add a workspace factory next to the delete button.

Alternatives considered

No response

Additional context

No response