diff options
Diffstat (limited to 'otherlibs/labltk/builtin/selection_handle_set.ml')
-rw-r--r-- | otherlibs/labltk/builtin/selection_handle_set.ml | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/otherlibs/labltk/builtin/selection_handle_set.ml b/otherlibs/labltk/builtin/selection_handle_set.ml index f773a7a6d..6cc54ff8c 100644 --- a/otherlibs/labltk/builtin/selection_handle_set.ml +++ b/otherlibs/labltk/builtin/selection_handle_set.ml @@ -1,14 +1,13 @@ (* The function *must* use tkreturn *) let handle_set command: cmd = selection_handle_icccm_optionals (fun opts w -> -tkEval [|TkToken"selection"; - TkToken"handle"; - TkTokenList opts; - cCAMLtoTKwidget w; - let id = register_callback w callback:(function args -> - let a1 = int_of_string (List.hd args) in - let a2 = int_of_string (List.nth args pos:1) in - tkreturn (cmd pos:a1 len:a2)) in TkToken ("camlcb "^id) - |]; - ()) + tkCommand [|TkToken"selection"; + TkToken"handle"; + TkTokenList opts; + cCAMLtoTKwidget w; + let id = register_callback w callback:(function args -> + let a1 = int_of_string (List.hd args) in + let a2 = int_of_string (List.nth args pos:1) in + tkreturn (cmd pos:a1 len:a2)) in TkToken ("camlcb "^id) + |]) |