man GlGtk.area () - no description
NAME
GlGtk.area - no description
Class
Class GlGtk.area
Documentation
class area : gl_area Gtk.obj -> object end
Parameters:
- ""
GlGtk.gl_area Gtk.obj
val obj : GlGtk.gl_area Gtk.obj
method event : GObj.event_ops
method as_area : GlGtk.gl_area Gtk.obj
method connect : GlGtk.area_signals
method make_current : unit -> unit
method set_size : width:int -> height:int -> unit
method swap_buffers : unit -> unit