Sign up
View stargazers0Sign up

Properly toggle diagnostics (#3243)

Follow-up of https://github.com/zed-industries/zed/pull/3236 that fixes
a bug introduced in that PR: diagnostics warning toggle stopped working.

Release Notes:

- N/A
254b369624Kirill Bulatov committed on 11/6/2023, 5:35:49 PM· committed by GitHubparentsbf80c1dbfb860c
1 file changedLine totals unavailable