blob: 62a6b80f3226ecd31ca393cbfb4db56a17ba9777 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
$NetBSD: patch-ab,v 1.3 2006/04/19 13:13:05 tonio Exp $
--- gterm.ml.orig 2003-10-09 16:10:45.000000000 +0200
+++ gterm.ml
@@ -361,7 +361,7 @@ let rec edit t =
(* Basic functions to input strings. *)
let rec flush_keys () =
if GraphicsY11.key_pressed () then
- let c = GraphicsY11.read_key () in
+ let _c = GraphicsY11.read_key () in
flush_keys ();;
type prompt = string;;
@@ -371,8 +371,7 @@ let get_line_prefill =
let b = Buffer.create 11 in
let get t =
flush_keys ();
- let limx = t.cursor_x
- and limy = t.cursor_y in
+ let limx = t.cursor_x in
let rec read t =
let c = get_next_key t in
match c with
|
