Android monaco editor issues (#2794)
Android monaco editor issues (#2794)

* Fix a couple of Android issues.

* Fix a couple more Android issues with Gboard. Ignoring compilation updates on Android.

playi/pxt,Microsoft/pxt,switchinnovations/pxt,playi/pxt,switch-education/pxt,switchinnovations/pxt,switchinnovations/pxt,switchinnovations/pxt,Microsoft/pxt,playi/pxt,switch-education/pxt,Microsoft/pxt,playi/pxt,Microsoft/pxt,switch-education/pxt,switch-education/pxt,Microsoft/pxt,switch-education/pxt