[gnome-shell] dash: add a workaround for Clutter bug 692744
- From: Giovanni Campagna <gcampagna src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] dash: add a workaround for Clutter bug 692744
- Date: Wed, 20 Feb 2013 19:52:20 +0000 (UTC)
commit 8bcb10391ed342bf99447999c7e93a6a65eb9206
Author: Giovanni Campagna <gcampagna src gnome org>
Date: Mon Jan 28 23:22:23 2013 +0100
dash: add a workaround for Clutter bug 692744
https://bugzilla.gnome.org/show_bug.cgi?id=690643
js/ui/dash.js | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/dash.js b/js/ui/dash.js
index 1eb8d99..0de00a2 100644
--- a/js/ui/dash.js
+++ b/js/ui/dash.js
@@ -789,6 +789,10 @@ const Dash = new Lang.Class({
for (let i = 0; i < addedItems.length; i++) {
addedItems[i].item.show(animate);
}
+
+ // Workaround for https://bugzilla.gnome.org/show_bug.cgi?id=692744
+ // Without it, StBoxLayout may use a stale size cache
+ this._box.queue_relayout();
},
_clearDragPlaceholder: function() {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]