From 1609d79516b2e8f790648fd67614d9edb9c2e24c Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 28 Oct 2024 21:49:24 -0700 Subject: [PATCH] bugfix: restart search on backspace Ported from bugfix of 2024-06-23. --- source_edit.lua | 3 +++ 1 file changed, 3 insertions(+) diff --git a/source_edit.lua b/source_edit.lua index 53bd16a..3c0f794 100644 --- a/source_edit.lua +++ b/source_edit.lua @@ -407,6 +407,9 @@ function edit.keychord_press(State, chord, key) local len = utf8.len(State.search_term) local byte_offset = Text.offset(State.search_term, len) State.search_term = string.sub(State.search_term, 1, byte_offset-1) + State.cursor = deepcopy(State.search_backup.cursor) + State.screen_top = deepcopy(State.search_backup.screen_top) + Text.search_next(State) elseif chord == 'down' then State.cursor1.pos = State.cursor1.pos+1 Text.search_next(State) -- 2.11.4.GIT