gistfile1.txt

WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup;
function init() {
  
}
function enable() {
  if (WorkspaceSwitcherPopup.prototype == null)
    WorkspaceSwitcherPopup.prototype = {};
  WorkspaceSwitcherPopup.prototype['_show'] = function ( ) {  };
}
function disable() {
  WorkspaceSwitcherPopup.prototype['_show'] = function ( ) {
    Tweener.addTween(this._container, { opacity: 255,
      time: ANIMATION_TIME,
      transition: 'easeOutQuad'
    });
    this._position();
    this.actor.show();
  }
}