Closed agg23 closed 1 year ago
@agg23 please rebase master here too and let's hope the pipeline passes on this.
Hooray! The pipeline is running again! Looks like just a couple lint violations to resolve and we can get it merged.
Sorry about that. I amended and force pushed, but didn't actually stage the change, so nothing actually changed.
The process of saving indexes to the workspace can be very slow, so performing this immediately on every change can freeze VSCode. This change adds a 10 second debounce period, where once no activity has occurred for 10 seconds, the save will begin.