Open jas-ho opened 11 months ago
Option 1 json-path It is somewhat standard, and you could e.g. do sth like $..[?('your_tag' in @.tags)]..[?(@.state="error")] to find all contexts below a context tagged your_tag
Note that there are some issues in using this directly: e.g. tags is a list of both strings and more complex objects (colored tags etc), so the simple selector won't work directly. But we can improve upon that internally by making the JSON more consistent in this.
[copy-pasted from @gavento's comments on slack]
Goal: Allow the user to quickly filter a long list of child contexts down to a smaller more focused list![image](https://github.com/acsresearch/interlab/assets/6757489/a2726155-4998-4536-b4ec-10b86c24a56c)
Example applications: