From e702d83e66e3014a90ad22d5b36b8d125c8e53b7 Mon Sep 17 00:00:00 2001
From: GrylledCheez <68041324+GrylledCheez@users.noreply.github.com>
Date: Mon, 19 Jun 2023 19:59:06 -1000
Subject: [PATCH] re-added init (#142)

readding init removed during merge conflict
---
 prefs.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prefs.js b/prefs.js
index 8ef986d..2c22c71 100644
--- a/prefs.js
+++ b/prefs.js
@@ -12,6 +12,12 @@ const _ = Gettext.domain('wintile').gettext;
 const Config = imports.misc.config;
 const SHELL_VERSION = parseFloat(Config.PACKAGE_VERSION);
 
+/**
+ *
+ */
+function init() {
+    // empty
+}
 
 /**
  *