From cf5204760d64ba6604ef7baa845082be82f3853e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Tue, 18 Feb 2020 23:21:52 +0100 Subject: [PATCH] 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 3cfce9845..5fa818491 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();