Double-clicking an error should jump to the code #9
Description
Currently, when the user double-clicks an error, nothing happens. It should jump to the location of that error.
{{ message }}
Currently, when the user double-clicks an error, nothing happens. It should jump to the location of that error.