Tom van Ommeren

Thanks for the great-looking theme! Users with dark color schemes may prefer a thinner or darker border around the hover popups: Compare: With: Simply hiding can be accomplished with an...

textDocument/definition returns git:// uris

4

Go to definition on any symbol from an imported package (eg. `ts.nodeModuleNameResolver`): ``` LSP: request 5: textDocument/definition LSP: got json: {"jsonrpc":"2.0","id":5,"result":[{"uri":"git://github.com/Microsoft/TypeScript?v2.3.4#lib/typescript.d.ts" ``` Not sure if VS Code handles this, but...

Run the mypy daemon?

1

Would be more performant, there is a risk with process management (does pyls provide a shutdown hook?), and the daemon doesn't support `follow_imports`?

This should ideally be just one diagnostic:

Unfortunately there is no direct API for it in mypy - it just emits the info while walking the syntax tree as part of its regular type checking.