summaryrefslogtreecommitdiff
path: root/otherlibs/labltk/browser/jg_bind.ml
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/browser/jg_bind.ml')
-rw-r--r--otherlibs/labltk/browser/jg_bind.ml15
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 0000000000..9d30f57934
--- /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))