[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What is normal these days (display.texi)?
From: |
David Kastrup |
Subject: |
Re: What is normal these days (display.texi)? |
Date: |
Sun, 09 Jul 2006 00:31:36 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
address@hidden (Kim F. Storm) writes:
> 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.
It is somewhat contorted.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: What is normal these days (display.texi)?, (continued)
- 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, 2006/07/08
- Re: What is normal these days (display.texi)?,
David Kastrup <=
- 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