blob: b961d1a96d0724a4fc8e94e974159348789c93ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* $Id$ *)
open Tk
let create ?:command ?:width ?:textvariable parent =
let ew = Entry.create parent ?:width ?:textvariable in
Jg_bind.enter_focus ew;
begin match command with Some command ->
bind ew events:[[], `KeyPressDetail "Return"]
action:(`Set ([], fun _ -> command (Entry.get ew)))
| None -> ()
end;
ew
|