ripples: Add destroy() method and remove them when unneeded

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/700
This commit is contained in:
Marco Trevisan (Treviño)
2019-08-31 01:40:53 +02:00
committed by Florian Müllner
parent ea5aaa8ab2
commit eca98aee42
2 changed files with 8 additions and 0 deletions

View File

@ -1224,6 +1224,8 @@ var HotCorner = class HotCorner {
if (this.actor)
this.actor.destroy();
this._ripples.destroy();
}
_toggleOverview() {