edgedb-ui
edgedb-ui copied to clipboard
Confusing: Copy highlight type cast mismatch
When hovering over copy you get the highlight that includes the type/typecast(?).
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.
Also interesting that it switches single-quote to double-quote 🤔