|
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 |
open Tk
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let top = opentk ()
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let scroll_link sb tx =
|
|
Packit |
bd2e5d |
Text.configure tx [YScrollCommand (Scrollbar.set sb)];
|
|
Packit |
bd2e5d |
Scrollbar.configure sb [ScrollCommand (Text.yview tx)]
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let f = Frame.create top []
|
|
Packit |
bd2e5d |
let text = Text.create f []
|
|
Packit |
bd2e5d |
let scrollbar = Scrollbar.create f []
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let buffer = ref ""
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let kill () =
|
|
Packit |
bd2e5d |
buffer :=
|
|
Packit |
bd2e5d |
Text.get text (TextIndex (Insert, []))
|
|
Packit |
bd2e5d |
(TextIndex (Insert, [LineEnd]));
|
|
Packit |
bd2e5d |
Text.delete text (TextIndex (Insert, []))
|
|
Packit |
bd2e5d |
(TextIndex (Insert, [LineEnd]))
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let yank () =
|
|
Packit |
bd2e5d |
Text.insert text (TextIndex (Insert, [])) !buffer []
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let _ = bind text [[Control], KeyPressDetail "y"] (BindSet ([], fun _ ->
|
|
Packit |
bd2e5d |
yank () ))
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
let _ = bind text [[Control], KeyPressDetail "k"] (BindSet ([], fun _ ->
|
|
Packit |
bd2e5d |
kill () ))
|
|
Packit |
bd2e5d |
;;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let _ =
|
|
Packit |
bd2e5d |
scroll_link scrollbar text;
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
pack [text;f][];
|
|
Packit |
bd2e5d |
pack [f][];
|
|
Packit |
bd2e5d |
mainLoop ()
|
|
Packit |
bd2e5d |
;;
|