From 77a8d2ef67ce2da7c3c8a7f806a9b4e6e43c5419 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= <hertzog@debian.org>
Date: Tue, 30 Oct 2018 21:24:57 +0100
Subject: [PATCH] Fix again user after free problems

Commit 84646cc850a05a2b767f2de8cc614b3a0f3d29ac incorrectly
re-introduced those lines that were dropped in
decd7043b4e35bcd7866798eebee3ab3520f3dd9.

Fixes #295
---
 extension/extension.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/extension/extension.js b/extension/extension.js
index 92fe7ebd..5dcf7b35 100644
--- a/extension/extension.js
+++ b/extension/extension.js
@@ -21,7 +21,6 @@ Copyright (c) 2016 - 2018 Eric Goller / projecthamster <elbenfreund@projecthamst
 */
 
 
-const GLib = imports.gi.GLib;
 const Lang = imports.lang;
 const Shell = imports.gi.Shell;
 const Meta = imports.gi.Meta;
@@ -198,9 +197,6 @@ function Controller(extensionMeta) {
 
             global.log('Shutting down hamster-shell-extension.');
             this._removeWidget(this.placement);
-            Main.panel.menuManager.removeMenu(this.panelWidget.menu);
-            GLib.source_remove(this.panelWidget.timeout);
-            this.panelWidget.actor.destroy();
             this.panelWidget.destroy();
             this.panelWidget = null;
             this.apiProxy = null;