update Raveos themes

1 files changed, 18 insertions, 0 deletions

diff --git a/raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/extension.js b/raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/extension.js
new file mode 100644
index 0000000..68de2ac
--- /dev/null
+++ b/raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/extension.js
@@ -0,0 +1,18 @@
+// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
+
+import {DockManager} from './docking.js';
+import {Extension} from './dependencies/shell/extensions/extension.js';
+
+// We export this so it can be accessed by other extensions
+export let dockManager;
+
+export default class DashToDockExtension extends Extension.Extension {
+    enable() {
+        dockManager = new DockManager(this);
+    }
+
+    disable() {
+        dockManager?.destroy();
+        dockManager = null;
+    }
+}