This is interesting. Does that mean that it's not possible to goto-definition for a file that isn't open? What about goto-definition of a file in a different module?
Combining syntax highlighting and code navigation seems like a reasonable approach, I'm just curious how it works.
