Gitpod: tablet (iPad) support

[akosyakov]

[jankeromnes]

See also #311 and https://github.com/theia-ide/theia/issues/3557.

[jankeromnes]

Another iPad keyboard problem:

• [x] Ctrl + C doesn't work (not a single Ctrl command actually)

EDIT: Using https://keycode.info, here is how Ctrl and C are detected on desktop:

• Ctrl is {key: Dead, location: 1, code: ControlLeft}
• C is {key: c, location: 0, code: KeyC}
• Ctrl+C is {key: c, location: 0, code: KeyC}

And on iPad bluetooth keyboard:

• Ctrl is {key: Dead, location: 0, code: Unidentified} (not detected if focus is on input)
• C is {key: c, location: 0, code: KeyC}
• Ctrl+C is {key: Enter, location: 0, code: KeyC} (not detected if focus is on input)

EDIT 2: Actually, Ctrl + C seems to work for me now, on iPad with iOS 12. Yay?

[kennethreitz42]

Looking forward to this working! You'll be (by far) the best iOS dev solution=D

[jankeromnes]

I recently tried Gitpod again on my iPad with iOS 12. I ran into many small issues, but was able to (horribly) work around most of them:

• [x] I couldn't open links printed in the Terminal (it says to use Cmd + click, but Cmd + tap didn't work)
• [x] I couldn't select or copy text from the Terminal (would have helped me visit that link)

I then redirected the Terminal output into a file, but:

• [ ] It was hard to select text in the Editor (because long-press opens a context menu instead of selecting). However, sometimes Shift + arrow keys worked (!?)
• [ ] I couldn't copy selected text from the Editor with Cmd + C (I think it said something about using my system's native copy/paste instead of JS?)

I then rewrote that file into an HTML file with an <a> link, and opened a preview, which allowed me to finally visit that darn link (it had a super long token, so I couldn't just remember and re-type it)

I also couldn't:

• [ ] Resize panels
• [x] Close context menus (except by clicking on "Copy GitHub link" every time)

[mrpher]

+1 vote for this, this would be a game-changer. 🤩