don't always pop up keyboard on mobile devices
commit5afe11a9c42062c23991d5da62c1d90616f4e7da
authorKartik K. Agaram <vc@akkartik.com>
Wed, 11 Sep 2024 02:25:11 +0000 (10 19:25 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Wed, 11 Sep 2024 02:25:11 +0000 (10 19:25 -0700)
tree4e6a5488b2965edfb606cbdb715a01e6fd082bd3
parentb4bcb85f7f1d5ba059afea93f26bc91ff97e3508
don't always pop up keyboard on mobile devices

We don't want to do this during app initialization because other forks
might not start out with an editor on screen even if this one does.

We don't want to perform this side-effect on edit.mouse_press, which
also runs in tests.
edit.lua
main.lua
run.lua