Reduce the margin around the panels

With 2 pixels instead of 4, this makes it look more elegant. It also
spares some space.
This commit is contained in:
Pierre Pronchery 2015-10-23 19:15:29 +02:00
parent 6da3a5841b
commit d7da80eda4

View File

@ -119,7 +119,7 @@ PanelWindow * panel_window_new(PanelAppletHelper * helper,
panel->window = gtk_plug_new(0);
gtk_widget_show(panel->window);
}
gtk_container_set_border_width(GTK_CONTAINER(panel->window), 4);
gtk_container_set_border_width(GTK_CONTAINER(panel->window), 2);
panel->height = icon_height + (PANEL_BORDER_WIDTH * 4);
#ifdef DEBUG
fprintf(stderr, "DEBUG: %s() %u height=%d\n", __func__, position,