removed erroneous settings destructor

MattByName · Nov 21, 2022 · 5748513 · 5748513
1 parent 32d6141
commit 5748513
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/extension.js b/src/extension.js
@@ -268,7 +268,6 @@ function disable() {
     tinter = null;
     menu.destroy();
     menu = null;
-    settings = null;
 }