From 7f397db8b01986402c46c80c391f6c6cb9dd4b56 Mon Sep 17 00:00:00 2001 From: Sean Davis Date: Wed, 5 Sep 2018 21:21:22 -0400 Subject: [PATCH 1/1] Preferences: Use standard 12px margin for child elements --- panel-plugin/systemload.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/panel-plugin/systemload.c b/panel-plugin/systemload.c index 81dde2e..dc6bb8b 100644 --- a/panel-plugin/systemload.c +++ b/panel-plugin/systemload.c @@ -757,7 +757,7 @@ static GtkWidget *new_label (GtkGrid *grid, guint row, label = gtk_label_new_with_mnemonic (labeltext); gtk_widget_set_halign(label, GTK_ALIGN_START); gtk_widget_set_valign(label, GTK_ALIGN_CENTER); - gtk_widget_set_margin_start (label, 18); + gtk_widget_set_margin_start (label, 12); gtk_label_set_mnemonic_widget(GTK_LABEL(label), target); gtk_grid_attach(grid, label, 0, row, 1, 1); return label; @@ -805,7 +805,7 @@ static void new_monitor_setting(t_global_monitor *global, GtkGrid *grid, int pos label = gtk_label_new_with_mnemonic (_("Options:")); gtk_widget_set_halign (label, GTK_ALIGN_START); gtk_widget_set_valign (label, GTK_ALIGN_CENTER); - gtk_widget_set_margin_start (label, 18); + gtk_widget_set_margin_start (label, 12); gtk_label_set_mnemonic_widget (GTK_LABEL (label), button); gtk_grid_attach (GTK_GRID(subgrid), label, 0, 0, 1, 1); -- 2.17.1