From 65e92ac2f2482d33fafbd4896ccd5370dcbb5a7b Mon Sep 17 00:00:00 2001 From: Antonio Scandurra Date: Thu, 6 May 2021 18:52:25 +0200 Subject: [PATCH] Ignore empty folds in `FoldMap::fold` Co-Authored-By: Nathan Sobo --- zed/src/editor/display_map/fold_map.rs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/zed/src/editor/display_map/fold_map.rs b/zed/src/editor/display_map/fold_map.rs index c9e350cba86acddee31a677b5d5e7f010114af47..f79bf427c35216e2fab8ac9c72ad4519affe6561 100644 --- a/zed/src/editor/display_map/fold_map.rs +++ b/zed/src/editor/display_map/fold_map.rs @@ -94,11 +94,11 @@ impl FoldMap { let buffer = self.buffer.read(ctx); for range in ranges.into_iter() { let range = range.start.to_offset(buffer)?..range.end.to_offset(buffer)?; - let fold = if range.start == range.end { - Fold(buffer.anchor_after(range.start)?..buffer.anchor_after(range.end)?) - } else { - Fold(buffer.anchor_after(range.start)?..buffer.anchor_before(range.end)?) - }; + if range.start == range.end { + continue; + } + + let fold = Fold(buffer.anchor_after(range.start)?..buffer.anchor_before(range.end)?); edits.push(Edit { old_range: range.clone(), new_range: range.clone(),