gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// 'Hard' reset dock positon: called on start and when monitor changes
'Hard' reset dock positon: called on start and when monitor changes
' Hard ' reset dock positon : called on start and when monitor changes
_resetPosition() {
        this._monitor = this._getMonitor();
        this._updateSize();
        this._updateAppearancePreferences();
        this._updateBarrier();
    }
_resetPosition ( ) { this . _monitor = this . _getMonitor ( ) ; this . _updateSize ( ) ; this . _updateAppearancePreferences ( ) ; this . _updateBarrier ( ) ; }
'Hard' reset dock positon: called on start and when monitor changes
' Hard ' reset dock positon : called on start and when monitor changes