[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What is normal these days (display.texi)?
From: |
Kim F. Storm |
Subject: |
Re: What is normal these days (display.texi)? |
Date: |
Sun, 09 Jul 2006 00:19:37 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
David Kastrup <address@hidden> writes:
> ! This function calls for redisplay of certain windows, the next time
> ! redisplay is done, but does not clear them first.
>
> @defun force-window-update &optional object
> This function forces redisplay of some or all windows. If
> --- 55,62 ----
> This function clears and redisplays all visible frames.
> @end deffn
>
> ! The following function redisplays certain windows without clearing
> ! them first:
>
> @defun force-window-update &optional object
> This function forces redisplay of some or all windows. If
IMO, the original text (calls for) is more correct.
force-window-update does not force an immediate redisplay -- it simply
marks the window to be updated on the next redisplay (by clearing the
internal "up-to-date" state of the window).
I will update the doc string and lispref to mention this.
--
Kim F. Storm <address@hidden> http://www.cua.dk
- Re: What is normal these days (display.texi)?, (continued)
- Re: What is normal these days (display.texi)?, Kim F. Storm, 2006/07/07
- Re: What is normal these days (display.texi)?, David Kastrup, 2006/07/07
- Re: What is normal these days (display.texi)?, Richard Stallman, 2006/07/07
- Re: What is normal these days (display.texi)?, David Kastrup, 2006/07/08
- Re: What is normal these days (display.texi)?, Eli Zaretskii, 2006/07/08
- Re: What is normal these days (display.texi)?, Richard Stallman, 2006/07/08
- Re: What is normal these days (display.texi)?, Robert J. Chassell, 2006/07/08
- Re: What is normal these days (display.texi)?, David Kastrup, 2006/07/08
- Re: What is normal these days (display.texi)?, Robert J. Chassell, 2006/07/08
- Re: What is normal these days (display.texi)?, Eli Zaretskii, 2006/07/08
- Re: What is normal these days (display.texi)?,
Kim F. Storm <=
- Re: What is normal these days (display.texi)?, David Kastrup, 2006/07/08
- Re: What is normal these days (display.texi)?, David Kastrup, 2006/07/10
- Re: What is normal these days (display.texi)?, Kim F. Storm, 2006/07/10
- Re: What is normal these days (display.texi)?, David Kastrup, 2006/07/10
- Re: What is normal these days (display.texi)?, Kim F. Storm, 2006/07/10
Re: What is normal these days (display.texi)?, Richard Stallman, 2006/07/07