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
|
(*
* editor.ml
* ---------
* Copyright : (c) 2011, Jeremie Dimino <jeremie@dimino.org>
* Licence : BSD3
*
* This file is a part of Lambda-Term.
*)
open Lwt
let main () =
let waiter, wakener = wait () in
let hbox = new LTerm_widget.hbox in
let frame = new LTerm_widget.frame in
let editor = new LTerm_edit.edit () in
let vscroll = new LTerm_widget.vscrollbar ~width:1 editor#vscroll in
frame#set editor;
hbox#add frame;
hbox#add ~expand:false vscroll;
(* Exit when the user presses C-x C-c *)
editor#bind
(let open LTerm_key in
[ { control = true; meta = false; shift = false
; code = Char (Uchar.of_char 'x') }
; { control = true; meta = false; shift = false
; code = Char (Uchar.of_char 'c') }
])
[ LTerm_edit.Custom (fun () -> wakeup wakener ()) ];
Zed_edit.insert editor#context
(Zed_rope.of_string @@ Zed_string.of_utf8 "\
This is a simple edition widget.
Type C-x C-c to exit.
");
Lazy.force LTerm.stdout
>>= fun term ->
LTerm.enable_mouse term
>>= fun () ->
Lwt.finalize
(fun () -> LTerm_widget.run term hbox waiter)
(fun () -> LTerm.disable_mouse term)
let () = Lwt_main.run (main ())
|
