man GObj.misc_signals () - no description

NAME

GObj.misc_signals - no description

Class GObj.misc_signals

class misc_signals : Gtk.widget Gtk.obj -> object end

Parameters:

Gtk.widget Gtk.obj

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

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

method parent_set : callback:(GObj.widget option -> unit) -> GtkSignal.id

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

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

method selection_get : callback:(GObj.selection_context -> info:int -> time:int32 -> unit) -> GtkSignal.id

method selection_received : callback:(GObj.selection_data -> time:int32 -> unit) -> GtkSignal.id

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

method size_allocate : callback:(Gtk.rectangle -> unit) -> GtkSignal.id

method state_changed : callback:(Gtk.Tags.state_type -> unit) -> GtkSignal.id

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

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