From 569fc6a683f9b2c26e4e9cadaab32dd36ed93eb6 Mon Sep 17 00:00:00 2001
From: Julian Schacher <julian@jsts.xyz>
Date: Sat, 19 Jun 2021 22:47:07 +0200
Subject: [PATCH] Update: Set `Panel._originalAddToPanelBox` to `undefined` on
 disable

Clean up more on disable by setting `Panel._originalAddToPanelBox` to
`undefined`.
---
 src/extension.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/extension.js b/src/extension.js
index b231e5a..7740169 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -85,6 +85,8 @@ class Extension {
     disable() {
         // Revert the overwrite of `Panel._addToPanelBox`.
         Panel.Panel.prototype._addToPanelBox = Panel.Panel.prototype._originalAddToPanelBox;
+        // Set `Panel._originalAddToPanelBox` to `undefined`.
+        Panel._originalAddToPanelBox = undefined;
 
         // Disconnect signals.
         for (const handlerId of this._settingsHandlerIds) {