From 496ae16cf18b1a7580d953b095542031178428ca Mon Sep 17 00:00:00 2001
From: Xiaoguang Wang <xwang@suse.com>
Date: Thu, 8 Mar 2018 09:13:40 +0800
Subject: [PATCH] apps-menu: Duplicate destroy actor

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/59
---
 extensions/apps-menu/extension.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index 5b382138..deb6cc3e 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -742,7 +742,6 @@ class ApplicationsButton extends PanelMenu.Button {
     }
 
     destroy() {
-        this.menu.actor.get_children().forEach(c => { c.destroy() });
         super.destroy();
     }
 };