14 Jul
2008
14 Jul
'08
8:55 a.m.
not "unread()" which is less likely to be confused with *gets*()?
You might be right. The reason why I didn't pick "unread" is because in English it is usually pronounced as "un-red" (meaning: not read yet), and we actually want "un-reed" (meaning: reverse the operation of read). Then again, maybe the alternate meaning of "not read yet" is not so bad either, because we declare that piece of string to be "unread" as it were. I'll change it to "unread", and wait for comments from the rest here.
I'll push up the cutting of the alpha 'till 1900 CEST to give people some more time to comment and to let me fix a blocker I'd forgotten about.