From 6c877699c66b186c70f4d69c177d8187ba583cb7 Mon Sep 17 00:00:00 2001
From: Romain Vigier <romain@romainvigier.fr>
Date: Tue, 24 Mar 2020 11:45:32 +0100
Subject: [PATCH] Remove unused method

---
 src/modules/Switcher.js | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/modules/Switcher.js b/src/modules/Switcher.js
index 766acae..b442830 100644
--- a/src/modules/Switcher.js
+++ b/src/modules/Switcher.js
@@ -85,14 +85,6 @@ var Switcher = class {
 		log_debug('Extension disabled.');
 	}
 
-	async _await_extensionManager_init() {
-		log_debug('Waiting for the Extension Manager to be initialized...');
-		while ( true ) {
-			if ( main.extensionManager._initialized ) return;
-			await null;
-		}
-	}
-
 	_on_theme_change() {
 		this.theme.update_variants();
 		this.theme.set_variant(this.nightlight.time);