[gnome-music] Use font scaling instead of set_markup for player toolbar
- From: Vadim Rutkovsky <vrutkovsky src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music] Use font scaling instead of set_markup for player toolbar
- Date: Mon, 13 May 2013 12:00:36 +0000 (UTC)
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]