diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_bind.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_bind.ml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/otherlibs/labltk/browser/jg_bind.ml b/otherlibs/labltk/browser/jg_bind.ml index df0bf80d9..59dc89019 100644 --- a/otherlibs/labltk/browser/jg_bind.ml +++ b/otherlibs/labltk/browser/jg_bind.ml @@ -3,13 +3,12 @@ open Tk let enter_focus w = - bind w events:[[], `Enter] action:(`Set ([], fun _ -> Focus.set w)) + bind w events:[`Enter] action:(fun _ -> Focus.set w) let escape_destroy ?destroy:tl w = let tl = match tl with Some w -> w | None -> w in - bind w events:[[], `KeyPressDetail "Escape"] - action:(`Set ([], fun _ -> destroy tl)) + bind w events:[`KeyPressDetail "Escape"] action:(fun _ -> destroy tl) let return_invoke w :button = - bind w events:[[], `KeyPressDetail "Return"] - action:(`Set ([], fun _ -> Button.invoke button)) + bind w events:[`KeyPressDetail "Return"] + action:(fun _ -> Button.invoke button) |