Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

In a diagnostic group, mark the highest-severity diagnostic as primary

Browse source 
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Antonio Scandurra 2021-11-18 15:53:00 +01:00
parent 401b59be5c
commit 0e51365770
7 changed files with 100 additions and 63 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/rpc/proto/zed.proto
View file

@ -257,6 +257,7 @@ message Diagnostic {
Severity severity = 3;
string message = 4;
uint64 group_id = 5;
bool is_primary = 6;
enum Severity {
None = 0;
Error = 1;