-
Christian Hergert authored
When a diagnostic is added, we add it to our list. Also, when clicking on a row, jump to that location in the editor.
17b7d331
When a diagnostic is added, we add it to our list. Also, when clicking on a row, jump to that location in the editor.