zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

Store the oldest transaction id for each excerpted buffer in multi-buffer transactions

Browse Source 
Co-Authored-By: Antonio Scandurra <me@as-cii.com>
This commit is contained in:
Nathan Sobo 2022-02-10 09:14:39 -07:00
parent 9936bb2efa
commit c5b0b5f902
1 changed files with 19 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
crates/editor/src/multi_buffer.rs
View File

@ -3,7 +3,7 @@ mod anchor;
pub use anchor::{Anchor, AnchorRangeExt};
use anyhow::Result;
use clock::ReplicaId;
use collections::{Bound, HashMap, HashSet};
use collections::{Bound, HashMap};
use gpui::{AppContext, Entity, ModelContext, ModelHandle, Task};
pub use language::Completion;
use language::{
@ -60,7 +60,7 @@ pub enum CharKind {
struct Transaction {
id: TransactionId,
buffer_transactions: HashSet<(usize, text::TransactionId)>,
buffer_transactions: HashMap<usize, text::TransactionId>,
first_edit_at: Instant,
last_edit_at: Instant,
suppress_grouping: bool,
@ -425,12 +425,12 @@ impl MultiBuffer {
return buffer.update(cx, |buffer, cx| buffer.end_transaction_at(now, cx));
}
let mut buffer_transactions = HashSet::default();
let mut buffer_transactions = HashMap::default();
for BufferState { buffer, .. } in self.buffers.borrow().values() {
if let Some(transaction_id) =
buffer.update(cx, |buffer, cx| buffer.end_transaction_at(now, cx))
{
buffer_transactions.insert((buffer.id(), transaction_id));
buffer_transactions.insert(buffer.id(), transaction_id);
}
}
@ -2227,7 +2227,7 @@ impl History {
fn end_transaction(
&mut self,
now: Instant,
buffer_transactions: HashSet<(usize, TransactionId)>,
buffer_transactions: HashMap<usize, TransactionId>,
) -> bool {
assert_ne!(self.transaction_depth, 0);
self.transaction_depth -= 1;
@ -2238,7 +2238,12 @@ impl History {
} else {
let transaction = self.undo_stack.last_mut().unwrap();
transaction.last_edit_at = now;
transaction.buffer_transactions.extend(buffer_transactions);
for (buffer_id, transaction_id) in buffer_transactions {
transaction
.buffer_transactions
.entry(buffer_id)
.or_insert(transaction_id);
}
true
}
} else {
@ -2312,6 +2317,14 @@ impl History {
if let Some(transaction) = transactions_to_merge.last() {
last_transaction.last_edit_at = transaction.last_edit_at;
}
for to_merge in transactions_to_merge {
for (buffer_id, transaction_id) in &to_merge.buffer_transactions {
last_transaction
.buffer_transactions
.entry(*buffer_id)
.or_insert(*transaction_id);
}
}
}
self.undo_stack.truncate(new_len);