let make_bi_label (parent:GPack.box) l1 =
let container = GPack.hbox ~packing:parent#pack () in
let t = GMisc.label ~text:l1 ~xalign:0.0
~packing:(container#pack ~expand:false ~fill:false)
()
in
Gtk_helper.old_gtk_compat t#set_width_chars 7;
let l = GMisc.label ~selectable:true ~xalign:0.0 ~text:""
~packing:(container#pack ~expand:true)
()
in
l