From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: storm@cua.dk (Kim F. Storm) Newsgroups: gmane.emacs.devel Subject: Re: redisplay-dont-pause does not work Date: Sat, 27 May 2006 22:57:44 +0200 Message-ID: References: <85y7wqz896.fsf@lola.goethe.zz> <85verttfr2.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 1148763636 19376 80.91.229.2 (27 May 2006 21:00:36 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sat, 27 May 2006 21:00:36 +0000 (UTC) Cc: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat May 27 23:00:34 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 1Fk5tX-0006n5-Jm for ged-emacs-devel@m.gmane.org; Sat, 27 May 2006 23:00:23 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Fk5tX-0007bp-7I for ged-emacs-devel@m.gmane.org; Sat, 27 May 2006 17:00:23 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Fk5tL-0007aM-Ms for emacs-devel@gnu.org; Sat, 27 May 2006 17:00:11 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Fk5tJ-0007Zz-5H for emacs-devel@gnu.org; Sat, 27 May 2006 17:00:11 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Fk5tJ-0007Zv-0j for emacs-devel@gnu.org; Sat, 27 May 2006 17:00:09 -0400 Original-Received: from [195.41.46.237] (helo=pfepc.post.tele.dk) by monty-python.gnu.org with esmtp (Exim 4.52) id 1Fk5yS-000395-4A; Sat, 27 May 2006 17:05:28 -0400 Original-Received: from kfs-l.imdomain.dk.cua.dk (0x503e2644.bynxx3.adsl-dhcp.tele.dk [80.62.38.68]) by pfepc.post.tele.dk (Postfix) with SMTP id 642B58A0029; Sat, 27 May 2006 23:00:00 +0200 (CEST) Original-To: rms@gnu.org In-Reply-To: (Richard Stallman's message of "Fri, 26 May 2006 23:36:26 -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:55362 Archived-At: Richard Stallman writes: > 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". > > I think that text in the manual is mistaken. `redisplay-dont-pause' > only affects redisplay itself. It has no effect on sit-for, which > isn't (strictly speaking) redisplay. > > We could change the code, or change the manual. > I am not sure which is better. Here is a fix for the code. *** dispnew.c 01 May 2006 10:07:42 +0200 1.363 --- dispnew.c 27 May 2006 22:53:42 +0200 *************** *** 6406,6412 **** swallow_events (display); if (detect_input_pending_run_timers (display) || !NILP (Vexecuting_kbd_macro)) ! return Qnil; if (initial_display) redisplay_preserve_echo_area (2); --- 6406,6415 ---- swallow_events (display); if (detect_input_pending_run_timers (display) || !NILP (Vexecuting_kbd_macro)) ! { ! if (!redisplay_dont_pause || sec || usec) ! return Qnil; ! } if (initial_display) redisplay_preserve_echo_area (2); -- Kim F. Storm http://www.cua.dk