diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_bind.ml')
-rw-r--r-- | otherlibs/labltk/browser/jg_bind.ml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/jg_bind.ml b/otherlibs/labltk/browser/jg_bind.ml new file mode 100644 index 000000000..df0bf80d9 --- /dev/null +++ b/otherlibs/labltk/browser/jg_bind.ml @@ -0,0 +1,15 @@ +(* $Id$ *) + +open Tk + +let enter_focus w = + bind w events:[[], `Enter] action:(`Set ([], 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)) + +let return_invoke w :button = + bind w events:[[], `KeyPressDetail "Return"] + action:(`Set ([], fun _ -> Button.invoke button)) |