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