user.js 314 Bytes
Newer Older
1
// -*- mode: gnome-shell -*-
2
3
4
const Extension = imports.misc.extensionUtils.getCurrentExtension();
const Tiling = Extension.imports.tiling;
const Keybindings = Extension.imports.keybindings;
5
6

function enable() {
7
    // Runs when extension is enabled
8
9
10
}

function disable() {
11
    // Runs when extension is disabled
12
}