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

Confusing: Copy highlight type cast mismatch

Open CarsonF opened this issue 7 months ago • 1 comments

When hovering over copy you get the highlight that includes the type/typecast(?). Image

But then when you go to paste, the type cast is not included.

"9136a13c-01ad-11f0-aaa6-1f1b4f5037b6"

I can never remember if I need to type out <uuid> before pasting or not.

CarsonF avatar May 02 '25 15:05 CarsonF

Also interesting that it switches single-quote to double-quote 🤔

scotttrinh avatar May 02 '25 16:05 scotttrinh