Andrew Eisenberg

One reason why this happens is that multiple CLI commands can be running at the same time. Outputting logs in this way minimizes the chance that multiple commands will have...

Here is my plan: 1. Take advantage of the running language server to request a type definition using the `vscode.executeTypeDefinitionProvider`. 2. This command requires a file URI and a location...

Unfortunately, that won't work in this case. It was the direction I originally tried. The difference is that the quick query mechanism explicitly adds an extra folder to the workspace...

I did a look at the IDE Server code. It looks like we can only update the IDE Server workspace to add more folders by restarting the language server. It...

Maybe linking to documentation to see all publicly available members would be sufficient. Though, I'm trying to avoid forcing the users to leave vscode to see this. Since it seems...

Just tried an experiment where we create a virtual file and use that for navigation. This means creating a text document but not saving it. Unfortunately, this means that the...

Moved this issue out of _in progress_ since I can't implement the proper approach at the moment.

Thanks for reporting. I haven't taken a deep look at this yet, but I suspect the problem has to do with our `showLocation` logic: https://github.com/github/vscode-codeql/blob/1d414bac552f5b4ac03527c5666b8545c694cd05/extensions/ql-vscode/src/interface-utils.ts#L158-L194 Just marking this now so...

We haven't prioritized this feature yet, but we may in the future. Currently, we are expecting that using codespaces will be sufficient for most use cases.

This is meant to be a smoke test and lightly exercise all of the extension's main features. First stab at a plan (at no point in these steps should there...