[> Gtk.icon_view ] Gtk.obj ->
object ('a)
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method destroy : callback:(unit -> unit) -> GtkSignal.id
method item_activated : callback:(Gtk.tree_path -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_column_spacing : callback:(int -> unit) -> GtkSignal.id
method notify_columns : callback:(int -> unit) -> GtkSignal.id
method notify_item_width : callback:(int -> unit) -> GtkSignal.id
method notify_margin : callback:(int -> unit) -> GtkSignal.id
method notify_orientation :
callback:(GtkEnums.orientation -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_row_spacing : callback:(int -> unit) -> GtkSignal.id
method notify_selection_mode :
callback:(GtkEnums.selection_mode -> unit) -> GtkSignal.id
method notify_spacing : callback:(int -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
method selection_changed : callback:(unit -> unit) -> GtkSignal.id
end