Sourcegraph has editor plugins (https://docs.sourcegraph.com/integration/editor https://docs.sourcegraph.com/integration/editor) that give you editor hotkeys fo

Sourcegraph has editor plugins (https://docs.sourcegraph.com/integration/editor https://docs.sourcegraph.com/integration/editor) that give you editor hotkeys for (1) multi-repository search and (2) go-to-file on Sourcegraph (in your web browser, so you can read the code without ruining your editor state or share the URL of your current file with a teammate). That advanced use case you mentioned isn't supported, but it sounds very cool. It's in the realm of things we'd like to offer someday. If anyone's interested in hacking on that (and making a PR to https://github.com/sourcegraph/sourcegraph https://github.com/sourcegraph/sourcegraph), I'd be happy to screenshare with them and give them some pointers.