[polari] roomList: Fix spacing of elements
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [polari] roomList: Fix spacing of elements
- Date: Thu, 8 Aug 2013 13:11:43 +0000 (UTC)
commit fcc88410029ff49d8684f5c7c77f8ccdc49003da
Author: Florian Müllner <fmuellner gnome org>
Date: Fri Jul 26 23:03:47 2013 +0200
roomList: Fix spacing of elements
We want the same amount of spacing between all elements (either rooms
or headers). As GtkListBox doesn't have a spacing property, we need
to use margins to get the desired behavior.
src/roomList.js | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/roomList.js b/src/roomList.js
index 645745b..c233e94 100644
--- a/src/roomList.js
+++ b/src/roomList.js
@@ -47,7 +47,7 @@ const RoomRow = new Lang.Class({
},
_createWidget: function(gicon) {
- this.widget = new Gtk.ListBoxRow({ margin_top: 4 });
+ this.widget = new Gtk.ListBoxRow({ margin_bottom: 4 });
let box = new Gtk.Box({ orientation: Gtk.Orientation.HORIZONTAL,
margin_left: 8, margin_right: 8,
@@ -196,7 +196,7 @@ const RoomList = new Lang.Class({
if (row.get_header())
return;
- let label = new Gtk.Label({ xalign: 0,
+ let label = new Gtk.Label({ margin_bottom: 4, xalign: 0,
max_width_chars: 15,
ellipsize: Pango.EllipsizeMode.END });
label.get_style_context().add_class('room-list-header');
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]