(define-boxed EventButton
  (in-module "Gdk")
  (c-name "GdkEventButton")
  (fields
    '("GdkEventType" "type")
    '("GdkWindow*" "window")
    '("gint8" "send_event")
    '("guint32" "time")
    '("gdouble" "x")
    '("gdouble" "y")
    '("gdouble*" "axes")
    '("guint" "state")
    '("guint" "button")
    '("GdkDevice*" "device")
    '("gdouble" "x_root")
    '("gdouble" "y_root")
  )
)

