let insert_button w ?(kind=`BUTTON) ?(text="") ?(tooltip="")
?(tooltip_private="") ?icon ?(pos = -1) ?callback () =
let b =insert_button w ~kind ~text ~tooltip ~tooltip_private ~pos
~icon:(Gpointer.optboxed icon)
in
may callback ~f:
(fun callback -> GtkSignal.connect b ~sgn:Button.S.clicked ~callback);
b