diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-02 13:42:19 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-02 13:42:19 +0000 |
| commit | fe2e11a8fb4dcf166ffb7f91e6eb8dd0f4402f25 (patch) | |
| tree | 8dff8da7bfc88f25c78afe5340d78daa8c89587c /otherlibs/labltk/support/protocol.ml | |
| parent | 7e053c39de8693928b83038c1727f5d90228c39d (diff) | |
| download | ocaml-strict_labels.tar.gz | |
remove doublonsstrict_labels
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/support/protocol.ml')
| -rw-r--r-- | otherlibs/labltk/support/protocol.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/otherlibs/labltk/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 68e2eb993a..7ad8b317e6 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.ml @@ -16,6 +16,7 @@ (* $Id$ *) open StdLabels +open Support open Widget type callback_buffer = string list @@ -108,9 +109,9 @@ let string_of_cbid = string_of_int (* The callback should be cleared when w is destroyed *) let register_callback w ~callback:f = let id = new_function_id () in - Hashtbl.add' callback_naming_table ~key:id ~data:f; + Hashtbl'.add callback_naming_table ~key:id ~data:f; if (forget_type w) <> (forget_type Widget.dummy) then - Hashtbl.add' callback_memo_table ~key:(forget_type w) ~data:id; + Hashtbl'.add callback_memo_table ~key:(forget_type w) ~data:id; (string_of_cbid id) let clear_callback id = @@ -144,7 +145,7 @@ let install_cleanup () = List.iter ~f:(fun f -> f w) !destroy_hooks | _ -> raise (TkError "bad cleanup callback") in let fid = new_function_id () in - Hashtbl.add' callback_naming_table ~key:fid ~data:call_destroy_hooks; + Hashtbl'.add callback_naming_table ~key:fid ~data:call_destroy_hooks; (* setup general destroy callback *) tcl_command ("bind all <Destroy> {camlcb " ^ (string_of_cbid fid) ^" %W}") |