1
2
3
4
5
6
7
8
9
10
11
12
|
/* ==================================================================
FILE: "/diska/home/joze/src/tclreadline/tclreadline.c"
LAST MODIFICATION: "Wed Sep 8 17:47:13 1999 (joze)"
(C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
$Id$
---
tclreadline -- gnu readline for tcl
Copyright (C) 1999 Johannes Zellner
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
|
/* ==================================================================
FILE: "/diska/home/joze/src/tclreadline/tclreadline.c"
LAST MODIFICATION: "Wed Sep 8 20:53:23 1999 (joze)"
(C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
$Id$
---
tclreadline -- gnu readline for tcl
Copyright (C) 1999 Johannes Zellner
|
334
335
336
337
338
339
340
341
342
343
344
345
346
347
|
TCL_DONT_WAIT
TCL_WINDOW_EVENTS
TCL_FILE_EVENTS
TCL_TIMER_EVENTS
TCL_IDLE_EVENTS
TCL_ALL_EVENTS
*/
}
void
TclReadlineReadHandler(ClientData clientData, int mask)
{
#if 0
fprintf(stderr, "(TclReadlineReadHandler) mask = %d\n", mask);
#endif
|
>
|
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
|
TCL_DONT_WAIT
TCL_WINDOW_EVENTS
TCL_FILE_EVENTS
TCL_TIMER_EVENTS
TCL_IDLE_EVENTS
TCL_ALL_EVENTS
*/
return TCL_OK;
}
void
TclReadlineReadHandler(ClientData clientData, int mask)
{
#if 0
fprintf(stderr, "(TclReadlineReadHandler) mask = %d\n", mask);
#endif
|