zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-08 07:35:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

Ignore empty folds in FoldMap::fold

Browse Source 
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Antonio Scandurra 2021-05-06 18:52:25 +02:00
parent 178705f8f9
commit 65e92ac2f2
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
zed/src/editor/display_map/fold_map.rs
View File

@ -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(),