gnome/extensions/dash-to-dock@micxgx.gmail.com/docking.js
/**
     * This is call when visibility settings change
     */
This is call when visibility settings change
This is call when visibility settings change
_updateVisibilityMode() {
        let settings = DockManager.settings;
        if (settings.get_boolean('dock-fixed')) {
            this._fixedIsEnabled = true;
            this._autohideIsEnabled = false;
            this._intellihideIsEnabled = false;
        }
        else {
            this._fixedIsEnabled = false;
            this._autohideIsEnabled = settings.get_boolean('autohide')
            this._intellihideIsEnabled = settings.get_boolean('intellihide')
        }
        if (this._intellihideIsEnabled)
            this._intellihide.enable();
        else
            this._intellihide.disable();
        this._updateDashVisibility();
    }
_updateVisibilityMode ( ) { let settings = DockManager . settings ; if ( settings . get_boolean ( 'dock-fixed' ) ) { this . _fixedIsEnabled = true ; this . _autohideIsEnabled = false ; this . _intellihideIsEnabled = false ; } else { this . _fixedIsEnabled = false ; this . _autohideIsEnabled = settings . get_boolean ( 'autohide' ) this . _intellihideIsEnabled = settings . get_boolean ( 'intellihide' ) } if ( this . _intellihideIsEnabled ) this . _intellihide . enable ( ) ; else this . _intellihide . disable ( ) ; this . _updateDashVisibility ( ) ; }
This is call when visibility settings change
This is call when visibility settings change