GlGtk.gl_area Gtk.obj ->
object
  val obj : GlGtk.gl_area Gtk.obj
  method as_area : GlGtk.gl_area Gtk.obj
  method as_widget : Gtk.widget Gtk.obj
  method coerce : GObj.widget
  method connect : GlGtk.area_signals
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method event : GObj.event_ops
  method get_oid : int
  method make_current : unit -> unit
  method misc : GObj.misc_ops
  method set_size : width:int -> height:int -> unit
  method swap_buffers : unit -> unit
end