gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// Disable autohide effect, thus show workspaces
Disable autohide effect, thus show workspaces
Disable autohide effect thus show workspaces
disableAutoHide(force) {
        this._autohideStatus = false;
        if (this._dockState == DockState.HIDING || this._dockState == DockState.HIDDEN) {
            this._removeAnimations();
            if (force) {
                this._animateIn(this._settings.get_double('animation-time'), 0, true);
            } else {
                this._animateIn(this._settings.get_double('animation-time'), 0);
            }
        }
    }
disableAutoHide ( force ) { this . _autohideStatus = false ; if ( this . _dockState == DockState . HIDING || this . _dockState == DockState . HIDDEN ) { this . _removeAnimations ( ) ; if ( force ) { this . _animateIn ( this . _settings . get_double ( 'animation-time' ) , 0 , true ) ; } else { this . _animateIn ( this . _settings . get_double ( 'animation-time' ) , 0 ) ; } } }
Disable autohide effect, thus show workspaces
Disable autohide effect thus show workspaces
// NOTE: default functionality is to not force complete animateIn