Looks like they're starting to comply to me - they've now updated their editor repository with GPL licensing so I assume we'll see the app source code soon.

I still think that doing this in public wasn't the best approach - some people are already scared of using GPL, and this doesn't help at all - but I guess it serves as a lesson to all companies that use GPL code.
Just follow the rules and everybody wins.