diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_entry.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_entry.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/jg_entry.ml b/otherlibs/labltk/browser/jg_entry.ml index b961d1a96..74bbf4723 100644 --- a/otherlibs/labltk/browser/jg_entry.ml +++ b/otherlibs/labltk/browser/jg_entry.ml @@ -6,8 +6,8 @@ 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))) + bind ew events:[`KeyPressDetail "Return"] + action:(fun _ -> command (Entry.get ew)) | None -> () end; ew |