gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// resdiplay dock called if size-position changed due to dock resizing
resdiplay dock called if size-position changed due to dock resizing
resdiplay dock called if size - position changed due to dock resizing
_redisplay() {
        if (this._disableRedisplay)
            return
        if (this._autohideStatus == null) {
            if (this._settings.get_boolean('dock-fixed')) {
                this._autohideStatus = false;
                this.fadeInDock(this._settings.get_double('animation-time'), 0);
            } else {
                this._removeAnimations();
                this._animateOut(0, 0);
                this._autohideStatus = true;
            }
        } else {
            if (this._autohideStatus) {
                if (!this._isHovering() && !(this._hoveringDash && !Main.overview._shown)) {
                    this._removeAnimations();
                    this._animateOut(0, 0, true);
                }
                this._autohideStatus = true;
            } else {
                if (!this._isHovering() && !(this._hoveringDash && !Main.overview._shown)) {
                    this._animateIn(this._settings.get_double('animation-time'), 0);
                }
                this._autohideStatus = false;
            }
        }
        this._updateAppearancePreferences();
        this._updateBarrier();
    }
_redisplay ( ) { if ( this . _disableRedisplay ) return if ( this . _autohideStatus == null ) { if ( this . _settings . get_boolean ( 'dock-fixed' ) ) { this . _autohideStatus = false ; this . fadeInDock ( this . _settings . get_double ( 'animation-time' ) , 0 ) ; } else { this . _removeAnimations ( ) ; this . _animateOut ( 0 , 0 ) ; this . _autohideStatus = true ; } } else { if ( this . _autohideStatus ) { if ( ! this . _isHovering ( ) && ! ( this . _hoveringDash && ! Main . overview . _shown ) ) { this . _removeAnimations ( ) ; this . _animateOut ( 0 , 0 , true ) ; } this . _autohideStatus = true ; } else { if ( ! this . _isHovering ( ) && ! ( this . _hoveringDash && ! Main . overview . _shown ) ) { this . _animateIn ( this . _settings . get_double ( 'animation-time' ) , 0 ) ; } this . _autohideStatus = false ; } } this . _updateAppearancePreferences ( ) ; this . _updateBarrier ( ) ; }
resdiplay dock called if size-position changed due to dock resizing
resdiplay dock called if size - position changed due to dock resizing
// Initial display of dock .. sets autohideStatus // Initial animation is out .. intellihide will animate in if its needed // Redisplay dock by animating back in .. necessary if thumbnailsBox size changed // even if dock is fixed // had to comment out because GS3.4 fixed-dock isn't fully faded in yet when redisplay occurs again //this._removeAnimations();