live-preview: Navigate to property

Clicking on an existing property in the PropertyEditor will ask
the editor to navigate to the right place.
This commit is contained in:
Tobias Hunger 2024-06-28 17:58:17 +02:00 committed by Tobias Hunger
parent c9c293e3bd
commit 5663aa0cfd
2 changed files with 11 additions and 5 deletions

View file

@ -178,7 +178,6 @@ export global Api {
// Show a position consisting of `line` and `column` in a `file` in the editor
callback show-document-offset-range(/* url */ string, /* start_offset */ int, /* end_offset */ int);
// ## Drawing Area
// Preview some other component
callback show-preview-for(string/* name */, string/*url*/);