edgedb-ui icon indicating copy to clipboard operation
edgedb-ui copied to clipboard

cannot select & copy text from REPL result

Open yuuuxt opened this issue 2 years ago • 1 comments

Cannot select and copy text from REPL result.

using latest Edge (win 10) and recent nightly edgedb version

workaround: can be hacked by script e.g. (this)

yuuuxt avatar May 09 '22 03:05 yuuuxt

It seems that there are multiple cases where user-select: none; was used. The main culprit being app.module.scss. I'm not sure what's the reasoning behind this.

nicu-chiciuc avatar Jun 05 '22 18:06 nicu-chiciuc