[> Gtk.toolbar ] Gtk.obj ->
object ('a)
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : 'a
method destroy : callback:(unit -> unit) -> GtkSignal.id
method focus_home_or_end : callback:(bool -> bool) -> GtkSignal.id
method move_focus :
callback:(GtkEnums.direction_type -> bool) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_icon_size :
callback:(GtkEnums.icon_size -> unit) -> GtkSignal.id
method notify_icon_size_set : callback:(bool -> unit) -> GtkSignal.id
method notify_resize_mode :
callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_show_arrow : callback:(bool -> unit) -> GtkSignal.id
method notify_toolbar_style :
callback:(GtkEnums.toolbar_style -> unit) -> GtkSignal.id
method popup_context_menu :
callback:(int -> int -> int -> bool) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
method style_changed :
callback:(GtkEnums.toolbar_style -> unit) -> GtkSignal.id
end