re-added init (#142)

readding init removed during merge conflict
Fmstrat · Jun 20, 2023 · e702d83 · e702d83
1 parent b47bffd
commit e702d83
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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
+}
 
 /**
  *