turns out super- chords to get to textinput

This commit is contained in:
Kartik K. Agaram 2022-06-22 17:37:26 -07:00
parent 8e68c699f5
commit 54eefbbf2d

View File

@ -140,8 +140,7 @@ end
function Text.textinput(t) function Text.textinput(t)
if App.mouse_down(1) then return end if App.mouse_down(1) then return end
assert(not App.ctrl_down()) assert(not App.ctrl_down())
if App.alt_down() then return end if App.alt_down() or App.cmd_down() then return end
assert(not App.cmd_down())
local before = snapshot(Cursor1.line) local before = snapshot(Cursor1.line)
--? print(Screen_top1.line, Screen_top1.pos, Cursor1.line, Cursor1.pos, Screen_bottom1.line, Screen_bottom1.pos) --? print(Screen_top1.line, Screen_top1.pos, Cursor1.line, Cursor1.pos, Screen_bottom1.line, Screen_bottom1.pos)
Text.insert_at_cursor(t) Text.insert_at_cursor(t)