repeat bugfix on source editor

This commit is contained in:
Kartik K. Agaram 2022-12-12 22:50:08 -08:00
parent 8b30e0608b
commit 35f81e5139
1 changed files with 6 additions and 1 deletions

View File

@ -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