From 5d94c0a7d44a2255b81815a52a7056a94a39842d Mon Sep 17 00:00:00 2001 From: nippy Date: Sat, 18 Apr 2026 13:49:56 +0200 Subject: update Raveos themes --- .../dash-to-dock@micxgx.gmail.com/extension.js | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/extension.js (limited to 'raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/extension.js') 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; + } +} -- cgit v1.3