edgedb-editor-plugin icon indicating copy to clipboard operation
edgedb-editor-plugin copied to clipboard
verified publisher icon edgedb

Requires VSCode restart after a schema migration

Open raddevon opened this issue 2 years ago • 0 comments

We received this review on the VSCode extension marketplace:

Excellent. The only issue is it seems to require the program to be restarted each time a database migration occurs.

Is there anything we can do to mitigate this?

raddevon avatar Dec 15 '23 14:12 raddevon