gnome-shell-extension-dashtodock 63-1 / usr / share / gnome-shell / extensions / dash-to-dock@micxgx.gmail.com / extension.js

// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-

const Me = imports.misc.extensionUtils.getCurrentExtension();
const Docking = Me.imports.docking;
const Convenience = Me.imports.convenience;

// We declare this with var so it can be accessed by other extensions in
// GNOME Shell 3.26+ (mozjs52+).
var dockManager;

function init() {
    Convenience.initTranslations('dashtodock');
}

function enable() {
    dockManager = new Docking.DockManager();
}

function disable() {
    dockManager.destroy();

    dockManager=null;
}