--- guile-gnome-platform-2.15.90/gtk/gnome/gtk/gdk-event.scm.orig	2006-11-05 11:52:01.000000000 -0500
+++ guile-gnome-platform-2.15.90/gtk/gnome/gtk/gdk-event.scm	2007-03-30 01:00:48.000000000 -0400
@@ -62,6 +62,7 @@
   selection selection 3
   (string->symbol val))
    
+(define-gdk-event-accessor (button-press button-release) button time 3  val)
 (define-gdk-event-accessor (button-press button-release) button x 4
   val)
 (define-gdk-event-accessor (button-press button-release) button y 5
--- guile-gnome-platform-2.15.90/gtk/gnome/overrides/gtk-customs.defs.orig	2006-09-01 10:31:52.000000000 -0400
+++ guile-gnome-platform-2.15.90/gtk/gnome/overrides/gtk-customs.defs	2007-03-30 00:59:11.000000000 -0400
@@ -1421,8 +1421,8 @@
   (parameters
     '("GtkWidget*" "parent_menu_shell" (null-ok))
     '("GtkWidget*" "parent_menu_item" (null-ok))
-    '("GtkMenuPositionFunc" "func")
-    '("gpointer" "data")
+    '("GtkMenuPositionFunc" "func" (null-ok))
+    '("gpointer" "data" (null-ok))
     '("guint" "button")
     '("guint32" "activate_time")))