[gnome-boxes] properties: Remove margins of property widgets
- From: Zeeshan Ali Khattak <zeeshanak src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-boxes] properties: Remove margins of property widgets
- Date: Fri, 29 Aug 2014 16:14:40 +0000 (UTC)
commit 2e8245d0b3f2b041050bebf011a519060b630c18
Author: Timm Bäder <mail baedert org>
Date: Wed Jul 30 11:49:16 2014 +0200
properties: Remove margins of property widgets
They were only added on the left of each configuration widget which
makes horizontally expanding widgets look unbalanced.
https://bugzilla.gnome.org/show_bug.cgi?id=710306
src/properties.vala | 3 ---
1 files changed, 0 insertions(+), 3 deletions(-)
---
diff --git a/src/properties.vala b/src/properties.vala
index fc9cff9..103993f 100644
--- a/src/properties.vala
+++ b/src/properties.vala
@@ -82,7 +82,6 @@ private class Boxes.Properties: Gtk.Stack, Boxes.UI {
if (property.description != null) {
var label_name = new Gtk.Label (property.description);
label_name.get_style_context ().add_class ("boxes-property-name-label");
- label_name.margin_left = 25;
label_name.halign = Gtk.Align.START;
label_name.hexpand = false;
grid.attach (label_name, 0, current_row, 1, 1);
@@ -92,14 +91,12 @@ private class Boxes.Properties: Gtk.Stack, Boxes.UI {
} else {
var widget = property.widget;
widget.hexpand = true;
- widget.margin_left = 25;
grid.attach (widget, 0, current_row, 2, 1);
}
var widget = property.extra_widget;
if (widget != null) {
current_row += 1;
- widget.margin_left = 25;
widget.hexpand = true;
grid.attach (widget, 0, current_row, 2, 1);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]