Fire resource changed events on workspace delete events.

TO BE UPDATED.

fixes #2460