>
home
>
Commands
jump_to_definition
January 19th 2020
List all definitions in the code index and jump to one chosen by the user.