[vala] gdk-3.0: update to 3.13.1~a61a11a4

[Rico Tzschichholz <ricotz src gnome org>]

commit e6a7bc3a12af2215015a4b43843c605f3e6d504c
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Thu May 22 10:18:32 2014 +0200

    gdk-3.0: update to 3.13.1~a61a11a4

 vapi/gdk-3.0.vapi |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/vapi/gdk-3.0.vapi b/vapi/gdk-3.0.vapi
index 5e9034b..cdd77e6 100644
--- a/vapi/gdk-3.0.vapi
+++ b/vapi/gdk-3.0.vapi
@@ -5300,6 +5300,7 @@ namespace Gdk {
                public void shape_combine_region (Cairo.Region? shape_region, int offset_x, int offset_y);
                public void show ();
                public void show_unraised ();
+               public bool show_window_menu (Gdk.Event event);
                public void stick ();
                public void thaw_toplevel_updates_libgtk_only ();
                public void thaw_updates ();