go to definition shortcut

Stream: lean4

[Arthur Paulino]

Is there a shortcut for "go to definition" in VSCode other than ctrl+click?

[Mario Carneiro]

F12

[Chris Lovett]

and which can be looked up and changed on the File/Preferences/Keyboard Shortcuts page:
image.png

[ohhaimark]

Anyone using the vscode vim plugin will probably already know this, but 'gd' works. Also ctrl-o to go back to where you were.

[Chris Lovett]

and vscode also has a handy go back to where you were keyboard binding with alt-left-arrow.