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

Published 20 hours ago • verified publisher icon edgedb

Allow arbitrary text selection in REPL history

Open raddevon opened this issue 2 years ago • 0 comments

Surfacing this from the Discord.

The user would like to be able to select and copy arbitrary text from the REPL history. Looks like we implemented something similar on the dataview. Could it also make sense to allow for this in the REPL history?

raddevon avatar Dec 06 '22 22:12 raddevon