[anjuta] search: Show arrows instead of "Next" / "Previous"

[Johannes Schmid <jhs src gnome org>]

commit e0517421ea800e44c7b31d13c007f384b0b014d9
Author: Johannes Schmid <jhs gnome org>
Date:   Wed Nov 2 22:04:12 2011 +0100

    search: Show arrows instead of "Next" / "Previous"
    
    Show the arrows regardless of what the default engine wants to show for stock buttons.

 plugins/document-manager/search-box.c |   10 ++++++++--
 1 files changed, 8 insertions(+), 2 deletions(-)
---
diff --git a/plugins/document-manager/search-box.c b/plugins/document-manager/search-box.c
index b065d17..7f1a75f 100644
--- a/plugins/document-manager/search-box.c
+++ b/plugins/document-manager/search-box.c
@@ -934,11 +934,17 @@ search_box_init (SearchBox *object)
 					  G_CALLBACK (on_search_box_hide), object);
 	
 	/* Previous, Next Navigation */
-	private->next_button = gtk_button_new_from_stock (GTK_STOCK_GO_FORWARD);
+	private->next_button = gtk_button_new ();
+	gtk_container_add (GTK_CONTAINER (private->next_button),
+	                   gtk_image_new_from_stock (GTK_STOCK_GO_FORWARD,
+	                                             GTK_ICON_SIZE_BUTTON));
 	gtk_button_set_relief (GTK_BUTTON (private->next_button), GTK_RELIEF_NONE);
 	g_signal_connect (G_OBJECT(private->next_button), "clicked", 
 					G_CALLBACK (on_search_box_forward_search), object);
-	private->previous_button = gtk_button_new_from_stock (GTK_STOCK_GO_BACK);
+	private->previous_button = gtk_button_new ();
+	gtk_container_add (GTK_CONTAINER (private->previous_button),
+	                   gtk_image_new_from_stock (GTK_STOCK_GO_BACK,
+	                                             GTK_ICON_SIZE_BUTTON));
 	gtk_button_set_relief (GTK_BUTTON (private->previous_button), GTK_RELIEF_NONE);
 	g_signal_connect (G_OBJECT(private->previous_button), "clicked", 
 					G_CALLBACK (on_search_box_backward_search), object);