man GlGtk.area_signals () - no description

NAME

GlGtk.area_signals - no description

Class

Class GlGtk.area_signals

Documentation

class area_signals : [> gl_area ] Gtk.obj -> object end

Parameters:

""

([> GlGtk.gl_area ] as 'a) Gtk.obj

val obj : 'a Gtk.obj

method display : callback:(unit -> unit) -> GtkSignal.id

method realize : callback:(unit -> unit) -> GtkSignal.id

method reshape : callback:(width:int -> height:int -> unit) -> GtkSignal.id