diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_bind.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_bind.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/otherlibs/labltk/browser/jg_bind.ml b/otherlibs/labltk/browser/jg_bind.ml index 91eb610c6..958401add 100644 --- a/otherlibs/labltk/browser/jg_bind.ml +++ b/otherlibs/labltk/browser/jg_bind.ml @@ -16,12 +16,12 @@ open Tk let enter_focus w = - bind w events:[`Enter] action:(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:(fun _ -> destroy tl) + bind w ~events:[`KeyPressDetail "Escape"] ~action:(fun _ -> destroy tl) -let return_invoke w :button = - bind w events:[`KeyPressDetail "Return"] - action:(fun _ -> Button.invoke button) +let return_invoke w ~button = + bind w ~events:[`KeyPressDetail "Return"] + ~action:(fun _ -> Button.invoke button) |