GlGtk.area_signals.3o

Langue: en

Version: 278049 (debian - 07/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

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