On Fri, Mar 11, 2005 at 03:40:41PM -0700, Jim Cromie wrote:
> There is no skip_rest(), but skip_all() can do that job, with a tiny 
> enhancement

I would really rather it be called skip_rest().  There's no reason to wedge
two different bits of functionality into one function.

Reply via email to