I don't interpret it that way. line_iterator is something that iterates over lines, while /"\n" splits on the character '\n' which only in certain special cases is the same thing. The iterator correspondence to /"\n" is String.SplitIterator.
I second the opinion that line_iterator should behave like gets().
/ Martin Stjernholm, Roxen IS
Previous text:
2002-12-31 00:00: Subject: stdin->line_iterator
gets() is not an iterator. The iterator is the equivalent of /"\n" and should behave as such.
/ Peter Bortas