From 6eb56d1e52d0b500ec790db7f5935c029409ccff Mon Sep 17 00:00:00 2001
From: Romain Vigier <romain@romainvigier.fr>
Date: Sun, 24 Nov 2019 10:07:35 +0100
Subject: [PATCH] Remove unnecessary member initialization

---
 src/extension.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/extension.js b/src/extension.js
index 4c8be14..64592c5 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -28,7 +28,6 @@ class Extension {
 
 	enable() {
 		this.theme = new Themer();
-		this.variants = {};
 		this.variants = this._guess_theme_variants_from(this.theme.current);
 		this.theme.listen(this._on_theme_change.bind(this));