From: Johannes Schindelin Date: Wed, 23 Jul 2008 16:57:05 GMT Subject: Re: [PATCH] Wait help.autocorrect deciseconds before running corrected command Message-ID: In-Reply-To: <20080723164109.GA5283@blimp.local> Hi, On Wed, 23 Jul 2008, Alex Riesen wrote: > + if (autocorrect > 0) { > + fprintf(stderr, "in %0.1f seconds automatically...\n", > + (float)autocorrect/10.0); > + poll(NULL, 0, autocorrect * 100); > + } What? No countdown? No fancy sounds when the time ran up? Ciao, Dscho