From 35f81e5139d48d089fde4599d9ecc53d7cf182f6 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 12 Dec 2022 22:50:08 -0800 Subject: repeat bugfix on source editor --- source_edit.lua | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/source_edit.lua b/source_edit.lua index b927cb5..242aca5 100644 --- a/source_edit.lua +++ b/source_edit.lua @@ -288,7 +288,6 @@ function edit.mouse_released(State, x,y, mouse_button) end function edit.textinput(State, t) - for _,line_cache in ipairs(State.line_cache) do line_cache.starty = nil end -- just in case we scroll if State.search_term then State.search_term = State.search_term..t State.search_text = nil @@ -300,6 +299,7 @@ function edit.textinput(State, t) p.name = p.name..t record_undo_event(State, {before=before, after=snapshot(State, State.lines.current_drawing_index)}) else + for _,line_cache in ipairs(State.line_cache) do line_cache.starty = nil end -- just in case we scroll Text.textinput(State, t) end schedule_save(State) @@ -543,6 +543,7 @@ function edit.run_after_textinput(State, t) edit.textinput(State, t) edit.key_released(State, t) App.screen.contents = {} + edit.update(State, 0) edit.draw(State) end @@ -551,6 +552,7 @@ function edit.run_after_keychord(State, chord) edit.keychord_pressed(State, chord) edit.key_released(State, chord) App.screen.contents = {} + edit.update(State, 0) edit.draw(State) end @@ -560,6 +562,7 @@ function edit.run_after_mouse_click(State, x,y, mouse_button) App.fake_mouse_release(x,y, mouse_button) edit.mouse_released(State, x,y, mouse_button) App.screen.contents = {} + edit.update(State, 0) edit.draw(State) end @@ -567,6 +570,7 @@ function edit.run_after_mouse_press(State, x,y, mouse_button) App.fake_mouse_press(x,y, mouse_button) edit.mouse_pressed(State, x,y, mouse_button) App.screen.contents = {} + edit.update(State, 0) edit.draw(State) end @@ -574,5 +578,6 @@ function edit.run_after_mouse_release(State, x,y, mouse_button) App.fake_mouse_release(x,y, mouse_button) edit.mouse_released(State, x,y, mouse_button) App.screen.contents = {} + edit.update(State, 0) edit.draw(State) end -- cgit 1.4.1-2-gfad0