Blame frx/frx_selection.ml

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