gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// Just the child width but taking into account the slided out part
Just the child width but taking into account the slided out part
Just the child width but taking into account the slided out part
vfunc_get_preferred_width(forHeight) {
        let slideoutSize = this._slideoutSize;
        let [minWidth, natWidth] = this.child.get_preferred_width(forHeight);
        if (this._side == St.Side.LEFT || this._side == St.Side.RIGHT) {
            minWidth = (minWidth) * this._slidex + slideoutSize;
            natWidth = (natWidth) * this._slidex + slideoutSize;
        }
        return [minWidth, natWidth];
    }
vfunc_get_preferred_width ( forHeight ) { let slideoutSize = this . _slideoutSize ; let [ minWidth , natWidth ] = this . child . get_preferred_width ( forHeight ) ; if ( this . _side == St . Side . LEFT || this . _side == St . Side . RIGHT ) { minWidth = ( minWidth ) * this . _slidex + slideoutSize ; natWidth = ( natWidth ) * this . _slidex + slideoutSize ; } return [ minWidth , natWidth ] ; }
Just the child width but taking into account the slided out part
Just the child width but taking into account the slided out part