Fix reset/destroy of workspace thumbnails in overview

[mzur]

The workspace thumbnails in the overview are not reset if the extension is disabled, then enabled again and then "Show workspace grid in overview" is switched off. They still show the wallpaper. They also don't reset if the whole extension is disabled in this case.

[ebeem]

I would consider this a feature myself 😁
I wonder why they removed it actually.

This doesn't seem to be a bug in the overriding/restoring part.
The thumbnail boxes just need to be reconstructed as they are kept even after restoring.
I am not sure how we can force GNOME to reconstruct the thumbnail boxes but if you try to add more workspaces (let's say add one row), you will notice the new workspaces added will have no wallpaper.

So we just need to figure out a way to reconstruct the thumbnail boxes here.

gnome-shell-wsmatrix/[email protected]/overview/thumbnailsBox.js

Lines 303 to 305 in 64c3895

	restoreOriginalProperties() {
	Util.overrideProto(GWorkspaceThumbnail.ThumbnailsBox.prototype, this.originalThumbnailsBox);
	}