[gtksourceview] Use gtk_separator_menu_item.

[Paolo Borelli <pborelli src gnome org>]

commit 35e47fd8b13cc314494f08b6c50b8dec2caca4db
Author: Paolo Borelli <pborelli gnome org>
Date:   Sun Sep 18 10:23:56 2011 +0200

    Use gtk_separator_menu_item.
    
    Fixes bug #659355.

 gtksourceview/gtksourceview.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtksourceview/gtksourceview.c b/gtksourceview/gtksourceview.c
index 127cfd5..e8406c8 100644
--- a/gtksourceview/gtksourceview.c
+++ b/gtksourceview/gtksourceview.c
@@ -1381,7 +1381,7 @@ gtk_source_view_populate_popup (GtkTextView *text_view,
 		return;
 
 	/* separator */
-	menu_item = gtk_menu_item_new ();
+	menu_item = gtk_separator_menu_item_new ();
 	gtk_menu_shell_prepend (GTK_MENU_SHELL (menu), menu_item);
 	gtk_widget_show (menu_item);