[anjuta] Match border and styling for shortcuts to plugin list

[Johannes Schmid <jhs src gnome org>]

commit 7a5d8b4c98e34864cbdee4ab3ae742dd61130b39
Author: Christian Hergert <chris dronelabs com>
Date:   Thu Mar 24 20:19:00 2011 -0700

    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 <chris dronelabs com>
    
    https://bugzilla.gnome.org/show_bug.cgi?id=645659

 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;