[gnome-music] Use font scaling instead of set_markup for player toolbar for titles also
- 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 for titles also
- Date: Mon, 13 May 2013 12:15:40 +0000 (UTC)
commit 9cfc35d92bcf9e1301c6f65337069b232d63720c
Author: Vadim Rutkovsky <vrutkovs redhat com>
Date: Mon May 13 14:15:34 2013 +0200
Use font scaling instead of set_markup for player toolbar for titles also
data/PlayerToolbar.ui | 3 +++
src/player.js | 2 +-
2 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/data/PlayerToolbar.ui b/data/PlayerToolbar.ui
index ad52a0d..e83dcc3 100644
--- a/data/PlayerToolbar.ui
+++ b/data/PlayerToolbar.ui
@@ -158,6 +158,9 @@
<property name="valign">start</property>
<property name="xalign">0</property>
<property name="ellipsize">middle</property>
+ <attributes>
+ <attribute name="scale" value="0.900000"/>
+ </attributes>
</object>
<packing>
<property name="expand">False</property>
diff --git a/src/player.js b/src/player.js
index 7bae7b5..6368d78 100644
--- a/src/player.js
+++ b/src/player.js
@@ -131,7 +131,7 @@ const Player = new Lang.Class({
this.coverImg.set_from_pixbuf (pixbuf);
if (media.get_title() != null) {
- this.titleLabel.set_markup("<span size='small'>" + media.get_title() + "</span>");
+ this.titleLabel.set_label(media.get_title());
}
else {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]