[anjuta/gnome-3-0] Match border and styling for shortcuts to plugin list



commit 846f2e58131258171705512c9106d8c71a6f9da1
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;



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]