From ef9c90d3d13e9aa651575ce53a42d8c47e923c17 Mon Sep 17 00:00:00 2001 From: Harald Judt Date: Thu, 17 May 2012 01:16:54 +0200 Subject: Fix border width so that it's the same as the other panel plugins. The other panel plugins add a small border. Make this timer plugin conform to this look & feel, so that it doesn't look out of place. --- src/xfcetimer.c | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/src/xfcetimer.c b/src/xfcetimer.c index 2344a15..f54cd5a 100644 --- a/src/xfcetimer.c +++ b/src/xfcetimer.c @@ -1037,6 +1037,7 @@ static void add_pbar(XfcePanelPlugin *plugin, plugin_data *pd){ /* vertical bar */ if(xfce_panel_plugin_get_orientation(plugin)==GTK_ORIENTATION_HORIZONTAL){ pd->box=gtk_hbox_new(TRUE,0); + gtk_container_set_border_width (GTK_CONTAINER(pd->box), BORDER/2); #ifdef HAVE_XFCE48 gtk_container_add(GTK_CONTAINER(plugin),pd->box); #else @@ -1052,6 +1053,7 @@ static void add_pbar(XfcePanelPlugin *plugin, plugin_data *pd){ } else{ /* horizontal bar */ pd->box=gtk_vbox_new(TRUE,0); + gtk_container_set_border_width (GTK_CONTAINER(pd->box), BORDER/2); #ifdef HAVE_XFCE48 gtk_container_add(GTK_CONTAINER(plugin),pd->box); #else -- 1.7.8.6