Support stylus/pen text selection on Android by DaniilBabanin · Pull Request #7841 · coder/code-server

The editor only used the pen-aware PointerEventHandler on iOS, or on Android
when platform.isMobile was true. That flag comes from a "Mobi" token in the user
agent, which Android tablets usually leave out, so on a tablet the editor fell
back to TouchHandler and a stylus could only scroll, not select.

Widen the check to any Android device when Pointer Events are available, the
same as iOS already does. The iOS branch is unchanged.