lean4web icon indicating copy to clipboard operation
lean4web copied to clipboard
verified publisher icon leanprover-community

Copy-Paste on mobile

Open joneugster opened this issue 2 years ago • 0 comments

On mobile I can't paste code, nor can I select code in the editor to copy it.

joneugster avatar Oct 29 '23 08:10 joneugster