Navigating

If a token is related to one or more source locations, a long click (> 500 millseconds) opens a menu below the cursor that allows for jumping to the related location. Currently, these are:

Future versions are likely to add more options, such as jumping to caller locations, open the documentation, listing predicates, etc.