Peter Cai 4d87059872 remove unneeded virtual_input ...

We have already introduced a virtual textarea for every platform.
This one seems redundant.

However, some features may still not work perfectly on a mobile browser

2018-06-03 18:03:23 +08:00

..

ext

remove unneeded virtual_input

2018-06-03 18:03:23 +08:00

main.coffee

Happy new year (a bit late)

2017-02-13 11:16:59 +01:00

term.coffee

remove unneeded virtual_input

2018-06-03 18:03:23 +08:00