otherlibs/labltk/browser/jg_button.ml


1
2
3
4
5
6
7
8
9
10
11

(* $Id$ *)

open Tk

let create_destroyer :parent ?:text{="Ok"} tl =
    Button.create :parent :text command:(fun () -> destroy tl) ()

let add_destroyer ?:text tl =
    let b = create_destroyer tl parent:tl ?:text in
    pack [b] side:`Bottom fill:`X;
    b