mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-12 05:15:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Speed up anchor comparison when the version is the same

Browse source
This commit is contained in:
Antonio Scandurra 2021-06-02 12:24:00 +02:00
parent 11a3b8c5ce
commit 84fe7f50ac
1 changed files with 17 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
zed/src/editor/buffer/anchor.rs
View file

@ -61,15 +61,26 @@ impl Anchor {
(Anchor::End, _) | (_, Anchor::Start) => Ordering::Greater, (Anchor::End, _) | (_, Anchor::Start) => Ordering::Greater,
( (
Anchor::Middle { Anchor::Middle {
bias: self_bias, .. offset: self_offset,
bias: self_bias,
version: self_version,
}, },
Anchor::Middle { Anchor::Middle {
bias: other_bias, .. offset: other_offset,
bias: other_bias,
version: other_version,
}, },
) => buffer ) => {
.full_offset_for_anchor(self) let offset_comparison = if self_version == other_version {
.cmp(&buffer.full_offset_for_anchor(other)) self_offset.cmp(other_offset)
.then_with(|| self_bias.cmp(&other_bias)), } else {
buffer
.full_offset_for_anchor(self)
.cmp(&buffer.full_offset_for_anchor(other))
};
offset_comparison.then_with(|| self_bias.cmp(&other_bias))
}
}) })
} }