Files
schemas
skel
.config
.fonts
.local
share
applications
gnome-background-properties
gnome-shell
extensions
appfolders-managermaestroschan.fr
dash-to-dockmicxgx.gmail.com
locale
media
schemas
COPYING
README.md
Settings.ui
appIconIndicators.js
appIcons.js
dash.js
docking.js
extension.js
fileManager1API.js
intellihide.js
launcherAPI.js
locations.js
metadata.json
prefs.js
stylesheet.css
theming.js
utils.js
windowPreview.js
donotdisturbkylecorry31.github.io
nohotcornerazuri.free.fr
notifications-alert-on-user-menuhackedbellini.gmail.com
tweaks-system-menuextensions.gnome-shell.fifi.org
unitehardpixel.eu
user-themegnome-shell-extensions.gcampax.github.com
volume_scroll@qord.si
.mozilla
.face
.xinitrc
README.md
davedatum bdc807428d #
2019-10-26 21:50:28 +01:00

22 lines
502 B
JavaScript

// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
const ExtensionUtils = imports.misc.extensionUtils;
const Me = ExtensionUtils.getCurrentExtension();
const Docking = Me.imports.docking;
// We declare this with var so it can be accessed by other extensions in
// GNOME Shell 3.26+ (mozjs52+).
var dockManager;
function init() {
ExtensionUtils.initTranslations('dashtodock');
}
function enable() {
new Docking.DockManager();
}
function disable() {
dockManager.destroy();
}