Do not add diagnostics for any selection in the diagnostics panel (#3300)

Make the panel less jumpy by deferring diagnostics updates until cmd-s
is pressed, if any caret is placed inside the diagnostics panel.

Release Notes:

- N/A
3cd4eeffefKirill Bulatov committed on 11/10/2023, 11:50:58 AM· committed by GitHubparents2f3044ad38a2b7
2 files changedLine totals unavailable