Community
Participate
Working Groups
It would be nice if when you hit ^D in the console (when a Java or other program is running), it was interpreted as a command to (a) flush the buffer (if it's not empty), or (b) send EOF (if the buffer is empty). This is standard *NIX behavior, and would be very nice to have. To actually send the character ^D, I'd just use ^Q as an escape character. (Actually, why isn't there a "treat next character as input or something to put in the file" character? That would be nice too.)