[gnome-shell] dash: Fixes wrong separator position

[Marge Bot <marge-bot src gnome org>]

commit 07579f05f69b22ee4bafffa5bee8e514b7ce8ca1
Author: Raghuveer Kasaraneni <raghu kasara net>
Date:   Mon Apr 12 12:56:28 2021 +0200

    dash: Fixes wrong separator position
    
    Sometimes when an icon is dragged and dropped in Dash, one Favourite app icon
    can appear to the right of Dash separator. This can happen when available system
    resources are low and the PlaceHolder destroy animation is delayed and the
    corresponding container child is still present. With this commit the separator
    position is calculated correctly, even when the animation is pending.
    
    Fixes #3966, #3799
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1804>

 js/ui/dash.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/dash.js b/js/ui/dash.js
index aca1ddfd5c..08902c436a 100644
--- a/js/ui/dash.js
+++ b/js/ui/dash.js
@@ -807,7 +807,7 @@ var Dash = GObject.registerClass({
                 });
                 this._box.add_child(this._separator);
             }
-            let pos = nFavorites;
+            let pos = nFavorites + this._animatingPlaceholdersCount;
             if (this._dragPlaceholder)
                 pos++;
             this._box.set_child_at_index(this._separator, pos);