[gnome-shell] workspace: Ensure style of window-chrome titles before requesting width

[Florian Müllner <fmuellner src gnome org>]

commit cf5204760d64ba6604ef7baa845082be82f3853e
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Tue Feb 18 23:21:52 2020 +0100

    workspace: Ensure style of window-chrome titles before requesting width
    
    Make sure the stylesheet properties of the window-chrome title are
    updated before requesting the preferred width of the title to prevent
    size changes of the title after we animated the width.
    
    Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/58

 js/ui/workspace.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 3cfce9845d..5fa818491b 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -578,6 +578,8 @@ var WindowOverlay = class {
         border.remove_all_transitions();
         title.remove_all_transitions();
 
+        title.ensure_style();
+
         let [cloneX, cloneY, cloneWidth, cloneHeight] = this._windowClone.slot;
 
         let layout = Meta.prefs_get_button_layout();