>From 6ea3e66a4e3c1305ea445cb9a34d021225e7324b Mon Sep 17 00:00:00 2001 From: Christian Hergert Date: Thu, 24 Mar 2011 20:19:00 -0700 Subject: [PATCH 10/10] Match border and styling for shortcuts to plugin list Copies the border and styling used in the plugin list to the keyboard shortcuts. Signed-off-by: Christian Hergert --- libanjuta/anjuta-ui.c | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/libanjuta/anjuta-ui.c b/libanjuta/anjuta-ui.c index f866158..04a67c7 100644 --- a/libanjuta/anjuta-ui.c +++ b/libanjuta/anjuta-ui.c @@ -1452,9 +1452,12 @@ anjuta_ui_get_accel_editor (AnjutaUI *ui) tree_view); sw = gtk_scrolled_window_new (NULL, NULL); + gtk_container_set_border_width (GTK_CONTAINER (sw), 6); gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (sw), GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC); + gtk_scrolled_window_set_shadow_type (GTK_SCROLLED_WINDOW (sw), + GTK_SHADOW_IN); gtk_container_add (GTK_CONTAINER (sw), tree_view); gtk_widget_show_all (sw); return sw; -- 1.7.4.1