diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2022-06-27 17:32:52 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2022-06-27 17:32:52 -0700 |
commit | e63878897ef09ee0eb932c50eee2befe3402e192 (patch) | |
tree | 14694884cb73c3ff91fa9f5957416fc398179932 | |
parent | 83ba9e61d1ff0d03dae2b62e4c85e0f11e31743f (diff) | |
download | view.love-e63878897ef09ee0eb932c50eee2befe3402e192.tar.gz |
undo commit 861c57b533
Turns out ctrl+ makes it into lua.textinput. Thanks John Blommers for the report. This should fix https://github.com/akkartik/lines.love/issues/6.
-rw-r--r-- | text.lua | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/text.lua b/text.lua index 24c92aa..383d762 100644 --- a/text.lua +++ b/text.lua @@ -139,8 +139,7 @@ end function Text.textinput(t) if App.mouse_down(1) then return end - assert(not App.ctrl_down()) - if App.alt_down() or App.cmd_down() then return end + if App.ctrl_down() or App.alt_down() or App.cmd_down() then return end local before = snapshot(Cursor1.line) --? print(Screen_top1.line, Screen_top1.pos, Cursor1.line, Cursor1.pos, Screen_bottom1.line, Screen_bottom1.pos) Text.insert_at_cursor(t) |