[gnome-music] Use font scaling instead of set_markup for player toolbar



commit 5efd812d0d9a73dcd433bdbaac9896bc6dd90f26
Author: Vadim Rutkovsky <vrutkovs redhat com>
Date:   Mon May 13 14:00:31 2013 +0200

    Use font scaling instead of set_markup for player toolbar

 data/PlayerToolbar.ui |    1 +
 src/player.js         |    6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/data/PlayerToolbar.ui b/data/PlayerToolbar.ui
index 87f2179..ad52a0d 100644
--- a/data/PlayerToolbar.ui
+++ b/data/PlayerToolbar.ui
@@ -141,6 +141,7 @@
                             <property name="ellipsize">middle</property>
                             <attributes>
                               <attribute name="weight" value="bold"/>
+                              <attribute name="scale" value="0.900000"/>
                             </attributes>
                           </object>
                           <packing>
diff --git a/src/player.js b/src/player.js
index bc6be7d..7bae7b5 100644
--- a/src/player.js
+++ b/src/player.js
@@ -140,15 +140,15 @@ const Player = new Lang.Class({
                 basename = file.get_basename(),
                 toShow = GLib.Uri.unescape_string(basename, null);
 
-            this.titleLabel.set_markup("<span size='small'>" + toShow + "</span>");
+            this.titleLabel.set_label(toShow);
         }
 
         if (media.get_artist() != null) {
-            this.artistLabel.set_markup("<span size='small'>" + media.get_artist() + "</span>");
+            this.artistLabel.set_label(media.get_artist());
         }
 
         else {
-            this.artistLabel.set_markup("<span size='small'>Unknown artist</span>");
+            this.artistLabel.set_label("Unknown artist");
         }
 
         this.player.set_property("uri", media.get_url());


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]