> home > Commands

jump_to_definition

September 8th 2024
List all definitions in the code index and jump to one chosen by the user.