1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
(***********************************************************************)
(* *)
(* MLTk, Tcl/Tk interface of OCaml *)
(* *)
(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *)
(* projet Cristal, INRIA Rocquencourt *)
(* Jacques Garrigue, Kyoto University RIMS *)
(* *)
(* Copyright 2002 Institut National de Recherche en Informatique et *)
(* en Automatique and Kyoto University. All rights reserved. *)
(* This file is distributed under the terms of the GNU Library *)
(* General Public License, with the special exception on linking *)
(* described in file LICENSE found in the OCaml source tree. *)
(* *)
(***********************************************************************)
open Camltk
let top = opentk ()
let scroll_link sb tx =
Text.configure tx [YScrollCommand (Scrollbar.set sb)];
Scrollbar.configure sb [ScrollCommand (Text.yview tx)]
let f = Frame.create top []
let text = Text.create f []
let scrollbar = Scrollbar.create f []
(* kill buffer *)
let buffer = ref ""
(* Note: for the text widgets, the insertion cursor is
not TextIndex(Insert, []),
but TextIndex(Mark "insert", [])
*)
let insertMark = TextIndex(Mark "insert", [])
let eol_insertMark = TextIndex(Mark "insert", [LineEnd])
let kill () =
buffer :=
Text.get text insertMark eol_insertMark;
prerr_endline ("Killed: " ^ !buffer);
Text.delete text insertMark eol_insertMark
;;
let yank () =
Text.insert text insertMark !buffer [];
prerr_endline ("Yanked: " ^ !buffer)
;;
let _ =
scroll_link scrollbar text;
pack [text; scrollbar][Side Side_Left; Fill Fill_Y];
pack [f][];
bind text [[Control], KeyPressDetail "y"]
(BindSet ([], fun _ -> yank () ));
bind text [[Control], KeyPressDetail "k"]
(BindSet ([], fun _ -> kill () ));
mainLoop ()
;;
|
