gnome/extensions/workspaces-to-dock@passingthru67.gmail.com/dockedWorkspaces.js
// Determine if mouse is hovering dock container
Determine if mouse is hovering dock container
Determine if mouse is hovering dock container
_isHovering() {
        if (this._dock.hover) {
            return true;
        } else {
            return false;
        }
    }
_isHovering ( ) { if ( this . _dock . hover ) { return true ; } else { return false ; } }
Determine if mouse is hovering dock container
Determine if mouse is hovering dock container