diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_bind.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_bind.ml | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/otherlibs/labltk/browser/jg_bind.ml b/otherlibs/labltk/browser/jg_bind.ml deleted file mode 100644 index 128a88ae55..0000000000 --- a/otherlibs/labltk/browser/jg_bind.ml +++ /dev/null @@ -1,28 +0,0 @@ -(*************************************************************************) -(* *) -(* Objective Caml LablTk library *) -(* *) -(* Jacques Garrigue, Kyoto University RIMS *) -(* *) -(* Copyright 1999 Institut National de Recherche en Informatique et *) -(* en Automatique and Kyoto University. All rights reserved. *) -(* This file is distributed under the terms of the GNU Library *) -(* General Public License, with the special exception on linking *) -(* described in file ../../../LICENSE. *) -(* *) -(*************************************************************************) - -(* $Id$ *) - -open Tk - -let enter_focus 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) - -let return_invoke w ~button = - bind w ~events:[`KeyPressDetail "Return"] - ~action:(fun _ -> Button.invoke button) |