Closed janwirth closed 7 months ago
https://discord.com/channels/841451783728529451/1201924916262469742/1202220902457016330
https://github.com/edgedb/edgedb-ui/assets/7485959/aa52872b-43da-4603-97c9-2babf0bc9424
that bug should fixed priority. I have reported the same bug before.
Here is a related report. https://github.com/edgedb/edgedb-ui/issues/302
https://discord.com/channels/841451783728529451/1201924916262469742/1202220902457016330
https://github.com/edgedb/edgedb-ui/assets/7485959/aa52872b-43da-4603-97c9-2babf0bc9424