From e7261fc06ed7b2dd590e055ee242feb7703fa7f0 Mon Sep 17 00:00:00 2001 From: Jeremy Soller Date: Fri, 15 Dec 2023 10:19:45 -0700 Subject: [PATCH] Editor: remove unused cursor_x_opt --- src/edit/editor.rs | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/edit/editor.rs b/src/edit/editor.rs index a02d073..622899d 100644 --- a/src/edit/editor.rs +++ b/src/edit/editor.rs @@ -17,7 +17,6 @@ use crate::{ pub struct Editor { buffer: Buffer, cursor: Cursor, - cursor_x_opt: Option, selection: Selection, cursor_moved: bool, auto_indent: bool, @@ -31,7 +30,6 @@ impl Editor { Self { buffer, cursor: Cursor::default(), - cursor_x_opt: None, selection: Selection::None, cursor_moved: false, auto_indent: false, @@ -58,7 +56,6 @@ impl Edit for Editor { if self.cursor != cursor { self.cursor = cursor; self.cursor_moved = true; - self.cursor_x_opt = None; self.buffer.set_redraw(true); } }