>> When you embed and use GPL code, you have to release the entire thing as GPL. (That’s why it’s called a viral license.) So they need to release not just their changes to the editor, but the entire app that was distributed.

Incorrect. Your code can be licensed under MIT Expat, Apache 2, whatever, but you must still respect the terms of the GPL which means providing the complete, corresponding source code.