(This is copied from the corresponding zulip thread) Hi lean4web is very nice using from a mobile phone too! Using it in mobile env I find it is a little inconvenient for selecting text. Could it be possible with an option bringing the system panel rather than the vscode panel up? Using IOS in most editing environments if I hold touching the screen, the system panel with "paste/select/select all" shown and in llo the vscode command panel shown. Most of the time the vscode command panel works perfectly but not quite for selecting texts:
(This is copied from the corresponding zulip thread) Hi lean4web is very nice using from a mobile phone too! Using it in mobile env I find it is a little inconvenient for selecting text. Could it be possible with an option bringing the system panel rather than the vscode panel up? Using IOS in most editing environments if I hold touching the screen, the system panel with "paste/select/select all" shown and in llo the vscode command panel shown. Most of the time the vscode command panel works perfectly but not quite for selecting texts:
https://github.com/leanprover-community/lean4web/assets/1629055/a91b9b8d-83ce-47ef-8312-e4993661742a