From a023950f282dd09d3787c1bad34dbe8ed04ec564 Mon Sep 17 00:00:00 2001 From: Antonio Scandurra Date: Fri, 19 Nov 2021 16:17:50 +0100 Subject: [PATCH] Remove unused `group_range` field Co-Authored-By: Nathan Sobo --- crates/editor/src/lib.rs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/crates/editor/src/lib.rs b/crates/editor/src/lib.rs index e8dfd479c199b994a4bad85dbdac9648b85801d6..a3dba342c95a146a908bab58cd10e34b6de015d7 100644 --- a/crates/editor/src/lib.rs +++ b/crates/editor/src/lib.rs @@ -343,7 +343,6 @@ struct ActiveDiagnosticGroup { primary_range: Range, primary_message: String, blocks: HashMap, - group_range: Range, is_valid: bool, update_count: usize, } @@ -2351,9 +2350,6 @@ impl Editor { .collect::>(); let primary_range = primary_range.unwrap(); let primary_message = primary_message.unwrap(); - - let group_range = - buffer.anchor_after(diagnostic_group[0].0.start)..buffer.anchor_before(group_end); let primary_range = buffer.anchor_after(primary_range.start)..buffer.anchor_before(primary_range.end); @@ -2401,7 +2397,6 @@ impl Editor { Some(ActiveDiagnosticGroup { primary_range, primary_message, - group_range, blocks, is_valid: true, update_count,