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

Merge branch 'main' into clippy-fixes-for-zed2

Browse source
This commit is contained in:
Piotr Osiewicz 2024-01-02 12:21:15 +01:00
commit 1a03cf3268
53 changed files with 239 additions and 212 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/text2/src/text2.rs
View file

@ -1189,7 +1189,6 @@ impl Buffer {
self.undo_or_redo(transaction).log_err()
}
#[allow(clippy::needless_collect)]
pub fn undo_to_transaction(&mut self, transaction_id: TransactionId) -> Vec<Operation> {
let transactions = self
.history
@ -1223,7 +1222,6 @@ impl Buffer {
}
}
#[allow(clippy::needless_collect)]
pub fn redo_to_transaction(&mut self, transaction_id: TransactionId) -> Vec<Operation> {
let transactions = self
.history
@ -1536,7 +1534,6 @@ impl Buffer {
edits
}
#[allow(clippy::type_complexity)]
pub fn randomly_edit<T>(
&mut self,
rng: &mut T,