summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/builtin/selection_handle_set.ml
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/builtin/selection_handle_set.ml')
-rw-r--r--otherlibs/labltk/builtin/selection_handle_set.ml19
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)
+ |])