gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/intellihide.js
// handler to bind settings when preferences changed
handler to bind settings when preferences changed
handler to bind settings when preferences changed
_bindSettingsChanges() {
        this._settings.connect('changed::intellihide', () => {
            this._updateDockVisibility();
        });
        this._settings.connect('changed::intellihide-option', () => {
            this._updateDockVisibility();
        });
        this._settings.connect('changed::dock-fixed', () =>  {
            if (this._settings.get_boolean('dock-fixed')) {
                this.status = true; 
            } else {
                GLib.idle_add(GLib.PRIORITY_DEFAULT_IDLE, () =>  {
                    this._updateDockVisibility();
                    return false;
                });
            }
        });
        this._settings.connect('changed::quick-show-on-workspace-change', () => {
            this._switchWorkspaceQuickShow = this._settings.get_boolean('quick-show-on-workspace-change');
            this._updateDockVisibility();
        });
    }
_bindSettingsChanges ( ) { this . _settings . connect ( 'changed::intellihide' , ( ) => { this . _updateDockVisibility ( ) ; } ) ; this . _settings . connect ( 'changed::intellihide-option' , ( ) => { this . _updateDockVisibility ( ) ; } ) ; this . _settings . connect ( 'changed::dock-fixed' , ( ) => { if ( this . _settings . get_boolean ( 'dock-fixed' ) ) { this . status = true ; } else { GLib . idle_add ( GLib . PRIORITY_DEFAULT_IDLE , ( ) => { this . _updateDockVisibility ( ) ; return false ; } ) ; } } ) ; this . _settings . connect ( 'changed::quick-show-on-workspace-change' , ( ) => { this . _switchWorkspaceQuickShow = this . _settings . get_boolean ( 'quick-show-on-workspace-change' ) ; this . _updateDockVisibility ( ) ; } ) ; }
handler to bind settings when preferences changed
handler to bind settings when preferences changed
// Since the dock is now shown // Wait that windows rearrange after struts change