diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2022-12-12 22:50:08 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2022-12-12 22:50:08 -0800 |
commit | 35f81e5139d48d089fde4599d9ecc53d7cf182f6 (patch) | |
tree | 108c19383bbcacd28f195ece46fb23259ffb8b64 | |
parent | 8b30e0608beb111a0273d653f724b6b6c6979d43 (diff) | |
download | view.love-35f81e5139d48d089fde4599d9ecc53d7cf182f6.tar.gz |
repeat bugfix on source editor
-rw-r--r-- | source_edit.lua | 7 |
1 files changed, 6 insertions, 1 deletions
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 |