@@ -1,10 +1,10 @@ /* ================================================================== - FILE: "/diska/home/joze/src/tclreadline/tclreadline.c" - LAST MODIFICATION: "Fri Aug 20 18:14:57 1999 (joze)" + FILE: "/home/joze/src/tclreadline/tclreadline.c" + LAST MODIFICATION: "Fri Aug 20 23:41:24 1999 (joze)" (C) 1998, 1999 by Johannes Zellner, $Id$ --- tclreadline -- gnu readline for tcl @@ -214,11 +214,11 @@ } void TclReadlineDataAvailableHandler (ClientData clientData, int mask) { -#if 1 +#if 0 fprintf (stderr, "(TclReadlineDataAvailableHandler) mask = %d\n", mask); #endif if (mask & TCL_READABLE) { rl_callback_read_char (); rl_redisplay ();