From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: David Kastrup Newsgroups: gmane.emacs.devel Subject: Re: redisplay-dont-pause does not work Date: Fri, 26 May 2006 09:19:29 +0200 Message-ID: <85verttfr2.fsf@lola.goethe.zz> References: <85y7wqz896.fsf@lola.goethe.zz> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1148628039 1948 80.91.229.2 (26 May 2006 07:20:39 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Fri, 26 May 2006 07:20:39 +0000 (UTC) Cc: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri May 26 09:20:37 2006 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1FjWcd-000454-Pe for ged-emacs-devel@m.gmane.org; Fri, 26 May 2006 09:20:36 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FjWcd-0006nL-4B for ged-emacs-devel@m.gmane.org; Fri, 26 May 2006 03:20:35 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FjWcN-0006mz-Mv for emacs-devel@gnu.org; Fri, 26 May 2006 03:20:19 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FjWcM-0006mn-9h for emacs-devel@gnu.org; Fri, 26 May 2006 03:20:18 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FjWcM-0006mk-4a for emacs-devel@gnu.org; Fri, 26 May 2006 03:20:18 -0400 Original-Received: from [199.232.76.164] (helo=fencepost.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FjWhC-00033y-CY for emacs-devel@gnu.org; Fri, 26 May 2006 03:25:18 -0400 Original-Received: from localhost ([127.0.0.1] helo=lola.goethe.zz) by fencepost.gnu.org with esmtp (Exim 4.34) id 1FjWc8-0004Um-6F; Fri, 26 May 2006 03:20:05 -0400 Original-Received: by lola.goethe.zz (Postfix, from userid 1002) id 1286F1C4D3B3; Fri, 26 May 2006 09:19:29 +0200 (CEST) Original-To: rms@gnu.org In-Reply-To: (Richard Stallman's message of "Thu, 25 May 2006 22:21:25 -0400") User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:55313 Archived-At: Richard Stallman writes: > I am checking for factual correctness of display.texi at the moment. > > Thank you for checking it! > > However, if I do > > M-: (progn (redraw-display) (let ((redisplay-dont-pause t)) (sleep-for > 1) (sit-for 0) (sleep-for 5))) RET > > and press C-n within 1 second, then no redisplay occurs for the whole > duration of 6 seconds. > > That seems correct to me. sit-for sees there is input, so it does > not redisplay. > > Do you perceive a contradiction between any part of the documentation > and this observed behavior? Richard, I quoted it immediately above and you snipped it in your reply: You can request a display update, but only if no input is pending, with @code{(sit-for 0)}. To force a display update even when input is pending, do this: @example (let ((redisplay-dont-pause t)) (sit-for 0)) @end example Yes, I see a contradiction here. Setting `redisplay-dont-pause' does not have the declared effect, to wit "to force a display update even when input is pending". -- David Kastrup, Kriemhildstr. 15, 44793 Bochum