edgedb-ui
edgedb-ui copied to clipboard
cannot select & copy text from REPL result
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)
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.