This repository was archived by the owner on May 15, 2023. It is now read-only.
This repository was archived by the owner on May 15, 2023. It is now read-only.
Navigation to objects could be easier #8
Description
Make it easier to navigate to any given object's representation. One possible way of doing this would be to allow users to open an "inspector" and then click on an object to open its representation in the editor.