2 let vbox = GPack.vbox ~homogeneous
:false () in
3 let evbox = GBin.event_box ~packing
:(vbox#pack ~expand
:false ~fill
:false) () in
4 let _anonymous_container_2 =
5 GPack.hbox ~border_width
:2 ~homogeneous
:false ~packing
:(evbox#add
) ()
8 GMisc.label ~text
:(Gui_messages.uT_lb_uploaders
)
9 ~justify
:`LEFT ~line_wrap
:true
10 ~packing
:(_anonymous_container_2#pack ~expand
:false ~fill
:true ~padding
:3) ()
13 GButton.toolbar ~orientation
:`HORIZONTAL ~style
:`BOTH ~space_size
:2
14 ~space_style
:`LINE ~tooltips
:true ~button_relief
:`NONE
15 ~packing
:(_anonymous_container_2#pack ~expand
:false ~fill
:true ~padding
:2) ()
18 GButton.toolbar ~orientation
:`HORIZONTAL ~style
:`BOTH ~space_size
:2
19 ~space_style
:`LINE ~tooltips
:true ~button_relief
:`NONE
20 ~packing
:(_anonymous_container_2#pack ~expand
:false ~fill
:true ~padding
:2) ()
31 method wtool1 = wtool1
32 method wtool2 = wtool2
33 method coerce
= vbox#coerce
36 let vbox = GPack.vbox ~homogeneous
:false () in
38 GPack.paned `HORIZONTAL ~packing
:(vbox#pack ~expand
:true ~fill
:true) ()
41 GPack.paned `VERTICAL ~packing
:(wpane#add2
) ()
43 let vbox2 = GPack.vbox ~homogeneous
:false ~packing
:(wpane2#add2
) () in
44 let evbox1 = GBin.event_box ~packing
:(vbox2#pack ~expand
:false ~fill
:false) () in
46 GPack.hbox ~border_width
:2 ~homogeneous
:false ~spacing
:5 ~packing
:(evbox1#add
) ()
50 ~justify
:`LEFT ~line_wrap
:true ~text
:(Gui_messages.fT_lb_messages
)
51 ~packing
:(hbox#pack ~expand
:false ~fill
:true ~padding
:3) ()
62 method wpane2 = wpane2
64 method evbox1 = evbox1
66 method coerce
= vbox#coerce
69 let box = GPack.vbox ~homogeneous
:false () in
71 GBin.scrolled_window ~hpolicy
:`AUTOMATIC ~vpolicy
:`AUTOMATIC
72 ~placement
:`TOP_LEFT ~packing
:(box#pack ~expand
:true ~fill
:true) ()
75 GEdit.text ~editable
:false ~word_wrap
:true ~line_wrap
:true
76 ~packing
:(wscroll#add
) ()
79 GButton.toolbar ~orientation
:`HORIZONTAL ~style
:`ICONS ~space_style
:`EMPTY
80 ~tooltips
:true ~button_relief
:`NORMAL
81 ~packing
:(box#pack ~expand
:false ~fill
:true) ()
84 GButton.toolbar ~orientation
:`HORIZONTAL ~style
:`ICONS ~space_style
:`EMPTY
85 ~tooltips
:true ~button_relief
:`NORMAL
86 ~packing
:(box#pack ~expand
:false ~fill
:true) ()
89 GEdit.text ~height
:50 ~editable
:true ~word_wrap
:true ~line_wrap
:true
90 ~packing
:(box#pack ~expand
:false ~fill
:true) ()
95 val wt_dialog = wt_dialog
98 val wt_input = wt_input
100 method wscroll = wscroll
101 method wt_dialog = wt_dialog
102 method wtool1 = wtool1
103 method wtool2 = wtool2
104 method wt_input = wt_input
105 method coerce
= box#coerce