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 outputhtml =
GHtml.xmhtml
~source:"<html><body bgColor=\"white\"></body></html>"
~width:400 ~height: 100
~border_width:20
- ~packing:(vboxl#pack ~expand:true ~padding:5)
+ ~packing:frame#add
~show:true () in
let scratch_window = new scratch_window outputhtml in
object
projects / helm.git / commitdiff