diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-21 10:54:06 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-21 10:54:06 +0000 |
| commit | e34b08a11542d6050293b5fd13af8311d259ec8d (patch) | |
| tree | edb666bf9d86c1dfc45643629374a5e4fdf0c43f /otherlibs/labltk/browser/setpath.ml | |
| parent | a4cf566458ccba2345c6baffbdb0ee46a09f454d (diff) | |
select with space bar
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2704 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/setpath.ml')
| -rw-r--r-- | otherlibs/labltk/browser/setpath.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/otherlibs/labltk/browser/setpath.ml b/otherlibs/labltk/browser/setpath.ml index 72f8a594a..2630cea38 100644 --- a/otherlibs/labltk/browser/setpath.ml +++ b/otherlibs/labltk/browser/setpath.ml @@ -108,11 +108,13 @@ let f :dir = current_dir := dir; renew_dirs dirbox var:var_dir :dir end); -(* + + (* Avoid space being used by the completion mechanism *) let bind_space_toggle lb = - bind lb events:[`KeyPressDetail "space"] extend:true action:ignore - in bind_space_toggle dirbox; bind_space_toggle pathbox; -*) + bind lb events:[`KeyPressDetail "space"] extend:true action:ignore in + bind_space_toggle dirbox; + bind_space_toggle pathbox; + let add_paths _ = add_to_path pathbox base:!current_dir dirs:(List.map (Listbox.curselection dirbox) |