class misc_signals : Gtk.widget Gtk.obj ->
object
.. end
Inherits
method hide : callback:(unit -> unit) -> GtkSignal.id
method map : callback:(unit -> unit) -> GtkSignal.id
method parent_set : callback:(widget option -> unit) -> GtkSignal.id
method query_tooltip : callback:(x:int -> y:int -> kbd:bool -> Gtk.tooltip -> bool) -> GtkSignal.id
method realize : callback:(unit -> unit) -> GtkSignal.id
method unrealize : callback:(unit -> unit) -> GtkSignal.id
method selection_get : callback:(selection_context -> info:int -> time:int32 -> unit) ->
GtkSignal.id
method selection_received : callback:(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