Is your feature request related to a problem? Please describe.
When writing queries I often throw them against a small toy application that contains exactly the cases I am trying to query for. As my queries evolve and new edge-cases appear I have to frequently make modifications to the project, and this means recompiling the database. Currently to make the extension properly work with the new database I have to remove the old one and use the file picker to add a "new" database with the same file path. CodeQL does not seem to like it when the database is changed while it is open, so not doing this results in it seizing up when querying to other unintuitive errors.
Describe the solution you'd like
An extra option in the database right-click menu that tells the extension "I want to re-load the data from disk" would be nice. It could probably be implemented on top of existing delete/import functionality.
Describe alternatives you've considered
The best fix for this would probably be somehow automatically notifying the extension when the database contents change, however I am not sure whether this can be easily implemented. Allowing the manual reload fixes 90% of the annoyance without being too invasive.
Additional context
I am open to implementing this myself and opening a PR. I have not worked on VSC extensions before, but I am willing to give it a shot.
Is your feature request related to a problem? Please describe.
When writing queries I often throw them against a small toy application that contains exactly the cases I am trying to query for. As my queries evolve and new edge-cases appear I have to frequently make modifications to the project, and this means recompiling the database. Currently to make the extension properly work with the new database I have to remove the old one and use the file picker to add a "new" database with the same file path. CodeQL does not seem to like it when the database is changed while it is open, so not doing this results in it seizing up when querying to other unintuitive errors.
Describe the solution you'd like
An extra option in the database right-click menu that tells the extension "I want to re-load the data from disk" would be nice. It could probably be implemented on top of existing delete/import functionality.
Describe alternatives you've considered
The best fix for this would probably be somehow automatically notifying the extension when the database contents change, however I am not sure whether this can be easily implemented. Allowing the manual reload fixes 90% of the annoyance without being too invasive.
Additional context
I am open to implementing this myself and opening a PR. I have not worked on VSC extensions before, but I am willing to give it a shot.