gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// handler for mouse pressure sensed (GS38+ only)
handler for mouse pressure sensed (GS38+ only)
handler for mouse pressure sensed ( GS38 + only )
_onPressureSensed() {
        this._pressureSensed = true;
        this._updateTriggerWidth();
        this._hoverChanged();
    }
_onPressureSensed ( ) { this . _pressureSensed = true ; this . _updateTriggerWidth ( ) ; this . _hoverChanged ( ) ; }
handler for mouse pressure sensed (GS38+ only)
handler for mouse pressure sensed ( GS38 + only )