From c243fc3e412f20b4ccda48191de1c964eba263ab Mon Sep 17 00:00:00 2001
From: Romain Vigier <romain@romainvigier.fr>
Date: Thu, 21 Nov 2019 21:21:22 +0100
Subject: [PATCH] Remove unnecessary error catching

---
 src/extension.js | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/src/extension.js b/src/extension.js
index c6439d2..4c8be14 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -96,13 +96,7 @@ class Extension {
 class Themer {
 
 	constructor() {
-		try {
-			this.gsettings = new Gio.Settings({ schema: GSETTINGS_SCHEMA });
-		}
-		catch(e)
-		{
-			logError('"User Themes" GNOME Shell extension must be installed')
-		}
+		this.gsettings = new Gio.Settings({ schema: GSETTINGS_SCHEMA });
 	}
 
 	get current() {