RFC: jump to definition in context menu in infoview

[kim-em]

Proposal

Currently in the infoview one can jump to definition using ctrl-left-click (cmd-left-click on mac).

However it is hard to discover this.

Could we add jump to definition in the right click context menu?

Community Feedback

Raised in zulip discussion.

Impact

Add 👍 to issues you consider important. If others benefit from the changes in this proposal being added, please ask them to add 👍 to it.

[mhuisi]

A possible way to implement this: https://code.visualstudio.com/api/extension-guides/webview#context-menus

[mhuisi]

This was added in #408.