search

kieler / klighd-vscode

Eclipse Public License 2.0
8 stars 6 forks source link

Favorite system for synthesis options #168

Open soerendomroes opened 4 months ago

soerendomroes commented 4 months ago

Our last discussion resulted in a client-side implementation for VS Code.

We want to have the recently used options in a section on top of the sidebar.

We could also think of explicitly selecting options instead of using the recently using ones.

This could be one alternative to solve the problem of many options that may become too hard to browse and would allow filtering them to the relevant options for the specific user.

soerendomroes commented 4 months ago

It might also be helpful to filter the synthesis option in the sidebar for specific use cases. But maybe this is a bit too much. Maybe we can try out different alternatives.