diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2022-12-12 22:45:16 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2022-12-12 22:45:16 -0800 |
commit | 3897a9d86d06ac5dbc77e6f2bf68973bd38d92d5 (patch) | |
tree | 90a9e45fc103bd6630b41b79ff891c13db13f2a1 | |
parent | 54d2d3ed4d9a16ecf3fc71473fffd5a737173430 (diff) | |
parent | 8b30e0608beb111a0273d653f724b6b6c6979d43 (diff) | |
download | view.love-3897a9d86d06ac5dbc77e6f2bf68973bd38d92d5.tar.gz |
Merge lines.love
-rw-r--r-- | edit.lua | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/edit.lua b/edit.lua index 5714b99..4e8cec6 100644 --- a/edit.lua +++ b/edit.lua @@ -180,12 +180,12 @@ 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 Text.search_next(State) 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) @@ -346,6 +346,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 @@ -354,6 +355,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 @@ -363,6 +365,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 @@ -370,6 +373,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 @@ -377,5 +381,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 |