[gnome-music] Add space between play times
- From: Vadim Rutkovsky <vrutkovsky src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music] Add space between play times
- Date: Mon, 6 May 2013 15:54:18 +0000 (UTC)
commit 6976015f0a8e2cefa229692bf5de82805a0228ef
Author: William Jon McCann <william jon mccann gmail com>
Date: Mon May 6 17:54:00 2013 +0200
Add space between play times
To more closely match the mockups.
data/PlayerToolbar.ui | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/data/PlayerToolbar.ui b/data/PlayerToolbar.ui
index 116661f..6bbf3e6 100644
--- a/data/PlayerToolbar.ui
+++ b/data/PlayerToolbar.ui
@@ -221,13 +221,14 @@
<object class="GtkBox" id="rightBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="spacing">9</property>
+ <property name="spacing">25</property>
<child>
<object class="GtkBox" id="timer">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="halign">start</property>
<property name="valign">center</property>
+ <property name="spacing">6</property>
<child>
<object class="GtkLabel" id="playback">
<property name="visible">True</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]