[vala] gtksourceview-3.0: Update to 3.10.1

[Rico Tzschichholz <ricotz src gnome org>]

commit 84ec3e0e0eee72d7b61b81eb848c2b3bc281d3ab
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Wed Oct 23 09:47:45 2013 +0200

    gtksourceview-3.0: Update to 3.10.1

 vapi/gtksourceview-3.0.vapi |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/vapi/gtksourceview-3.0.vapi b/vapi/gtksourceview-3.0.vapi
index 18ccb00..243f3c5 100644
--- a/vapi/gtksourceview-3.0.vapi
+++ b/vapi/gtksourceview-3.0.vapi
@@ -263,11 +263,11 @@ namespace Gtk {
                public unowned Gdk.Pixbuf get_pixbuf ();
                [Deprecated (since = "3.10")]
                public unowned string get_stock_id ();
-               public void set_gicon (GLib.Icon icon);
-               public void set_icon_name (string icon_name);
-               public void set_pixbuf (Gdk.Pixbuf pixbuf);
+               public void set_gicon (GLib.Icon? icon);
+               public void set_icon_name (string? icon_name);
+               public void set_pixbuf (Gdk.Pixbuf? pixbuf);
                [Deprecated (since = "3.10")]
-               public void set_stock_id (string stock_id);
+               public void set_stock_id (string? stock_id);
                public GLib.Icon gicon { get; set; }
                public string icon_name { get; set; }
                public Gdk.Pixbuf pixbuf { get; set; }