gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// autohide function to animate the hide dock process
autohide function to animate the hide dock process
autohide function to animate the hide dock process
_animateOut(time, delay, force) {
        if (this._popupMenuShowing)
            return;
        this._dockState = DockState.HIDING;
        let sliderVariable = 0;
        let fixedPosition = this._settings.get_boolean('dock-fixed')
        let overviewAction = this._settings.get_enum('overview-action');
        let intellihideAction = this._settings.get_enum('intellihide-action');
        let intellihide = this._settings.get_boolean('intellihide')
        if (!force && !fixedPosition) {
            if ((Main.overview._shown && overviewAction == OverviewAction.SHOW_PARTIAL)
                ||  (!Main.overview._shown && intellihide && (intellihideAction == IntellihideAction.SHOW_PARTIAL || intellihideAction == IntellihideAction.SHOW_PARTIAL_FIXED))) {
                if (this._slider.partialSlideoutSize) {
                    let fullsize;
                    if (this._isHorizontal) {
                        fullsize = this._dock.height;
                    } else {
                        fullsize = this._dock.width;
                    }
                    if (this._settings.get_boolean('dock-edge-visible')) {
                        let triggerWidth = 1; 
                        let slideoutSize = DOCK_EDGE_VISIBLE_WIDTH - triggerWidth;
                        sliderVariable = (this._slider.partialSlideoutSize - slideoutSize) / fullsize;
                    } else {
                        sliderVariable = this._slider.partialSlideoutSize / fullsize;
                    }
                }
            }
        }
        this._slider.ease_property('slidex', sliderVariable, {
            duration: time * 1000,
            delay: delay * 1000,
            mode: Clutter.AnimationMode.EASE_OUT_QUAD,
            onComplete: () => {
                this._dockState = DockState.HIDDEN;
                this._updateBarrier();
            }
        });
    }
_animateOut ( time , delay , force ) { if ( this . _popupMenuShowing ) return ; this . _dockState = DockState . HIDING ; let sliderVariable = 0 ; let fixedPosition = this . _settings . get_boolean ( 'dock-fixed' ) let overviewAction = this . _settings . get_enum ( 'overview-action' ) ; let intellihideAction = this . _settings . get_enum ( 'intellihide-action' ) ; let intellihide = this . _settings . get_boolean ( 'intellihide' ) if ( ! force && ! fixedPosition ) { if ( ( Main . overview . _shown && overviewAction == OverviewAction . SHOW_PARTIAL ) || ( ! Main . overview . _shown && intellihide && ( intellihideAction == IntellihideAction . SHOW_PARTIAL || intellihideAction == IntellihideAction . SHOW_PARTIAL_FIXED ) ) ) { if ( this . _slider . partialSlideoutSize ) { let fullsize ; if ( this . _isHorizontal ) { fullsize = this . _dock . height ; } else { fullsize = this . _dock . width ; } if ( this . _settings . get_boolean ( 'dock-edge-visible' ) ) { let triggerWidth = 1 ; let slideoutSize = DOCK_EDGE_VISIBLE_WIDTH - triggerWidth ; sliderVariable = ( this . _slider . partialSlideoutSize - slideoutSize ) / fullsize ; } else { sliderVariable = this . _slider . partialSlideoutSize / fullsize ; } } } } this . _slider . ease_property ( 'slidex' , sliderVariable , { duration : time * 1000 , delay : delay * 1000 , mode : Clutter . AnimationMode . EASE_OUT_QUAD , onComplete : ( ) => { this . _dockState = DockState . HIDDEN ; this . _updateBarrier ( ) ; } } ) ; }
autohide function to animate the hide dock process
autohide function to animate the hide dock process
// We need trigger width to always be set to 1