Guy Basri

We are developing an extension using `CodeLensProvider`, and we want to refresh our lenses every 5 seconds. To achieve this, we use `onDidChangeCodeLenses` and fire it with `setInterval`. After `onDidChangeCodeLenses`...