displayFile

Surface the file at uri to the user and return the editor session showing it, or null when this is not possible.

Mirrors upstream @codemirror/lsp-client's Workspace.displayFile, called by features that need to put a file other than the one in the current editor in front of the user (most notably the jumpToDefinition family for cross-file jumps).

Default (single-file) behavior: this base Workspace only tracks files that have been opened with an attached session; it returns the session of an already-open file and cannot open arbitrary files from disk. A consumer that wants real cross-file navigation should subclass Workspace and override this to create/find and reveal an editor for uri.