[gnome-shell] [panel] Work around Clutter bug causing missing name

[Colin Walters <walters src gnome org>]

commit a336ed79ae44175ea933d46c5b80d905e780bf10
Author: Colin Walters <walters verbum org>
Date:   Tue Oct 20 16:52:57 2009 -0400

    [panel] Work around Clutter bug causing missing name
    
    The .text property doesn't queue a resize, see:
    http://bugzilla.openedhand.com/show_bug.cgi?id=1851

 js/ui/panel.js |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 1365b66..20251b5 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -151,12 +151,14 @@ AppPanelMenu.prototype = {
             let icon = this._focusedApp.create_icon_texture(PANEL_ICON_SIZE);
             this._iconBox.append(icon, Big.BoxPackFlags.NONE);
             this._iconBox.show();
-            this._label.text = this._focusedApp.get_name();
+            let appName = this._focusedApp.get_name();
+            // Use _set_text to work around http://bugzilla.openedhand.com/show_bug.cgi?id=1851
+            this._label.set_text(appName);
         } else if (this._activeSequence != null) {
             let icon = this._activeSequence.create_icon(PANEL_ICON_SIZE);
             this._iconBox.append(icon, Big.BoxPackFlags.NONE);
             this._iconBox.show();
-            this._label.text = this._activeSequence.get_name();
+            this._label.set_text(this._activeSequence.get_name());
         }
 
         this.emit('changed');