gistfile1.txt

const Main = imports.ui.main;

let popup;

function init() {
    popup = Main.wm._showWorkspaceSwitcher;
}

function enable() {
    Main.wm._showWorkspaceSwitcher = function(a, b, c) {};
}

function disable() {
    Main.wm._showWorkspaceSwitcher = popup;
}