[gnome-music] Fix redundant margin
- From: Seif Lotfy <seiflotfy src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music] Fix redundant margin
- Date: Mon, 6 May 2013 16:52:18 +0000 (UTC)
commit 0cad771d39784403f44deef314c5c630ef2c5796
Author: Seif Lotfy <seif lotfy com>
Date: Mon May 6 18:51:57 2013 +0200
Fix redundant margin
data/AlbumWidget.ui | 1 -
src/window.js | 2 +-
2 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/data/AlbumWidget.ui b/data/AlbumWidget.ui
index 8cc4376..f2bfe29 100644
--- a/data/AlbumWidget.ui
+++ b/data/AlbumWidget.ui
@@ -20,7 +20,6 @@
<property name="can_focus">False</property>
<property name="halign">center</property>
<property name="valign">start</property>
- <property name="margin_bottom">64</property>
<property name="spacing">18</property>
<child>
<object class="GtkImage" id="cover">
diff --git a/src/window.js b/src/window.js
index bc9aa18..b730696 100644
--- a/src/window.js
+++ b/src/window.js
@@ -42,7 +42,7 @@ const MainWindow = new Lang.Class({
hide_titlebar_when_maximized: true
});
- this.set_default_size(800, 600);
+ this.set_default_size(800, 640);
this._setupView();
},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]