|
Packit |
bd2e5d |
(***********************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* MLTk, Tcl/Tk interface of OCaml *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *)
|
|
Packit |
bd2e5d |
(* projet Cristal, INRIA Rocquencourt *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 2002 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file LICENSE found in the OCaml source tree. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(***********************************************************************)
|
|
Packit |
bd2e5d |
(* A selection handler *)
|
|
Packit |
bd2e5d |
open Widget
|
|
Packit |
bd2e5d |
open Protocol
|
|
Packit |
bd2e5d |
open Camltk
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let frame = ref None
|
|
Packit |
bd2e5d |
let selection = ref ""
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let read ofs n =
|
|
Packit |
bd2e5d |
let res =
|
|
Packit |
bd2e5d |
if ofs < 0 then ""
|
|
Packit |
bd2e5d |
else if ofs + n > String.length !selection
|
|
Packit |
bd2e5d |
then String.sub !selection ofs (String.length !selection - ofs)
|
|
Packit |
bd2e5d |
else String.sub !selection ofs n in
|
|
Packit |
bd2e5d |
tkreturn res
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* As long as we don't loose the selection, we keep the widget *)
|
|
Packit |
bd2e5d |
(* Calling this function means that we own the selection *)
|
|
Packit |
bd2e5d |
(* When we loose the selection, both cb are destroyed *)
|
|
Packit |
bd2e5d |
let own () =
|
|
Packit |
bd2e5d |
match !frame with
|
|
Packit |
bd2e5d |
None ->
|
|
Packit |
bd2e5d |
let f = Frame.create_named Widget.default_toplevel "frx_selection" [] in
|
|
Packit |
bd2e5d |
let lost () = selection := ""; destroy f; frame := None in
|
|
Packit |
bd2e5d |
Selection.own_set [Selection "PRIMARY"; LostCommand lost] f;
|
|
Packit |
bd2e5d |
Selection.handle_set [Selection "PRIMARY"; ICCCMType "STRING"] f read;
|
|
Packit |
bd2e5d |
frame := Some f
|
|
Packit |
bd2e5d |
| Some f -> ()
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let set s = own(); selection := s
|