Method mark_interaction_end

document/graph-storage/src/crdt.rs:71–73

Mark this delta as the last op of a user interaction, so the undo cursor treats it as a checkpoint.

(&mut self, timestamp: TimeStamp)

	/// Mark this delta as the last op of a user interaction, so the undo cursor treats it as a checkpoint.
	pub fn mark_interaction_end(&mut self, timestamp: TimeStamp) {
		self.attributes.set(attr::delta::INTERACTION_END, serde_json::Value::Bool(true), timestamp);
	}

	pub fn is_interaction_end(&self) -> bool {
		self.attributes.get(attr::delta::INTERACTION_END).is_some_and(|marker| marker.value == serde_json::Value::Bool(true))