diff options
Diffstat (limited to 'raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/extension.js')
| -rw-r--r-- | raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/extension.js | 18 |
1 files changed, 0 insertions, 18 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 deleted file mode 100644 index 68de2ac..0000000 --- a/raveos-theme/gnome/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/extension.js +++ /dev/null @@ -1,18 +0,0 @@ -// -*- 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; - } -} |