`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`