From 8f8c6c8addd04c185b3a151f93874467eeba44f5 Mon Sep 17 00:00:00 2001 From: Antonio Scandurra Date: Fri, 4 Jun 2021 16:42:32 +0200 Subject: [PATCH] Delete unused `Insertion` struct --- zed/src/editor/buffer.rs | 8 -------- 1 file changed, 8 deletions(-) diff --git a/zed/src/editor/buffer.rs b/zed/src/editor/buffer.rs index 49675a6dd3..f455709ce5 100644 --- a/zed/src/editor/buffer.rs +++ b/zed/src/editor/buffer.rs @@ -326,14 +326,6 @@ struct Diff { changes: Vec<(ChangeTag, usize)>, } -#[derive(Clone, Eq, PartialEq, Debug)] -pub struct Insertion { - id: time::Local, - parent_id: time::Local, - offset_in_parent: usize, - lamport_timestamp: time::Lamport, -} - #[derive(Eq, PartialEq, Clone, Debug)] struct Fragment { len: usize,