From c4fbc2962ee21db61b1721ad8c928f01c798058f Mon Sep 17 00:00:00 2001 From: o9000 Date: Sun, 12 Jul 2015 22:23:15 +0200 Subject: [PATCH] tint2conf: Fix bad read of panel_margin --- src/tint2conf/properties_rw.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tint2conf/properties_rw.c b/src/tint2conf/properties_rw.c index d020cb3..5f958bb 100644 --- a/src/tint2conf/properties_rw.c +++ b/src/tint2conf/properties_rw.c @@ -747,7 +747,7 @@ void add_entry(char *key, char *value) else if (strcmp(key, "panel_margin") == 0) { extract_values(value, &value1, &value2, &value3); gtk_spin_button_set_value(GTK_SPIN_BUTTON(panel_margin_x), atoi(value1)); - gtk_spin_button_set_value(GTK_SPIN_BUTTON(panel_margin_y), atoi(value1)); + gtk_spin_button_set_value(GTK_SPIN_BUTTON(panel_margin_y), atoi(value2)); } else if (strcmp(key, "panel_padding") == 0) { extract_values(value, &value1, &value2, &value3);