Closed
Description
Today, navigating to a file in another project for a preview will load an entire project. Bad! Much of the time, a user might only care about certain operations (e.g. outlining, brace matching, whatever).
There's basically two high-level ideas here:
- A new file open request, or meta information, that tells the semantic server that it shouldn't try to fully load the full program until a semantic operation occurs
- Editors will "know better" and only dispatch to a separate syntactic server. This requires no work from our end, but we should acknowledge that that's the path forward. (@mjbvz)