GBin.scrolled_window ~border_width:10
~packing:(vbox#pack ~expand:true ~padding:5) () in
let _ = scrolled_window0#add output#coerce in
+ let frame =
+ GBin.frame ~packing:(vbox#pack ~expand:true ~fill:true ~padding:5) () in
+ let vbox' =
+ GPack.vbox ~packing:frame#add () in
let hbox4 =
- GPack.hbox ~packing:(vbox#pack ~expand:false ~fill:false ~padding:5) () in
+ GPack.hbox ~border_width:5 ~packing:(vbox'#pack ~expand:false ~fill:false ~padding:5) () in
let stateb =
GButton.button ~label:"State"
~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
GButton.button ~label:"SearchPattern"
~packing:(hbox4#pack ~expand:false ~fill:false ~padding:5) () in
let scrolled_window1 =
- GBin.scrolled_window ~border_width:10
- ~packing:(vbox#pack ~expand:true ~padding:5) () in
+ GBin.scrolled_window ~border_width:5
+ ~packing:(vbox'#pack ~expand:true ~padding:0) () in
let inputt = GEdit.text ~editable:true ~width:400 ~height:100
~packing:scrolled_window1#add () in
let vboxl =
GPack.vbox ~packing:(hbox0#pack ~expand:true ~fill:true ~padding:5) () in
let _ =
vboxl#pack ~expand:true ~fill:true ~padding:5 notebook#notebook#coerce in
- let frame = GBin.frame ~packing:(vboxl#pack ~expand:true ~padding:5) () in
+ let frame =
+ GBin.frame ~shadow_type:`IN ~packing:(vboxl#pack ~expand:true ~padding:5) ()
+ in
let outputhtml =
GHtml.xmhtml
~source:"<html><body bgColor=\"white\"></body></html>"
projects / helm.git / commitdiff