[gnome-system-monitor] Use GTK_STOCK_REFRESH

[Paolo Borelli <pborelli src gnome org>]

commit 9bcd075e7bfa03f763f1ac39853a26f630082e4f
Author: Paolo Borelli <porelli gnome org>
Date:   Thu Apr 23 17:26:25 2009 +0200

    Use GTK_STOCK_REFRESH
    
    Use the proper stock item for the refresh menu item
---
 src/interface.cpp |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/interface.cpp b/src/interface.cpp
index aa7ca04..81c4ae5 100644
--- a/src/interface.cpp
+++ b/src/interface.cpp
@@ -72,7 +72,7 @@ static const GtkActionEntry menu_entries[] =
 	{ "Preferences", GTK_STOCK_PREFERENCES, NULL, NULL,
 	  N_("Configure the application"), G_CALLBACK (cb_edit_preferences) },
 
-	{ "Refresh", NULL, N_("_Refresh"), "<control>R",
+	{ "Refresh", GTK_STOCK_REFRESH, N_("_Refresh"), "<control>R",
 	  N_("Refresh the process list"), G_CALLBACK(cb_user_refresh) },
 
 	{ "MemoryMaps", NULL, N_("_Memory Maps"), "<control>M",