gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// Just the child height but taking into account the slided out part
Just the child height but taking into account the slided out part
Just the child height but taking into account the slided out part
vfunc_get_preferred_height(forWidth) {
        let slideoutSize = this._slideoutSize;
        let [minHeight, natHeight] = this.child.get_preferred_height(forWidth);
        if (this._side == St.Side.TOP || this._side == St.Side.BOTTOM) {
            minHeight = (minHeight) * this._slidex + slideoutSize;
            natHeight = (natHeight) * this._slidex + slideoutSize;
        }
        return [minHeight, natHeight];
    }
vfunc_get_preferred_height ( forWidth ) { let slideoutSize = this . _slideoutSize ; let [ minHeight , natHeight ] = this . child . get_preferred_height ( forWidth ) ; if ( this . _side == St . Side . TOP || this . _side == St . Side . BOTTOM ) { minHeight = ( minHeight ) * this . _slidex + slideoutSize ; natHeight = ( natHeight ) * this . _slidex + slideoutSize ; } return [ minHeight , natHeight ] ; }
Just the child height but taking into account the slided out part
Just the child height but taking into account the slided out part