The following will allow the current jump to definition to be based on the current mouse position in the editor DOM. When a user holds CTRL, an event listener will be dispatched to search for a potential defining location in the syntax tree for the identifier at the mouse location. If found, the identifier will be underlined and show a cursor on hover, indicating that a click on the identifier will move the view into the defining location. Note that this does not work for the actual defining location and only further usages in the editor.
The following will allow the current jump to definition to be based on the current mouse position in the editor DOM. When a user holds CTRL, an event listener will be dispatched to search for a potential defining location in the syntax tree for the identifier at the mouse location. If found, the identifier will be underlined and show a cursor on hover, indicating that a click on the identifier will move the view into the defining location. Note that this does not work for the actual defining location and only further usages in the editor.
This fixes the following issues
725
726
724