[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#17831: 24.4.50; bad default value for `Man-width'
From: |
Stefan Monnier |
Subject: |
bug#17831: 24.4.50; bad default value for `Man-width' |
Date: |
Tue, 24 Jun 2014 13:33:50 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) |
> By contrast, in the *Completions* use case the code that formats the
> text runs synchronously, so having in place some protocol that would
> allow to query about the dimensions of the window display-buffer
> etc. _will_ get, and then immediately use these dimensions to format
> the candidate list, is probably all we need. The alternative you
> favor is IMO worse: it will momentarily flash incorrect display, which
> I think will look un-professional.
In the *Completions* case the empty buffer won't be temporarily
displayed (because there's no redisplay going on before it's filled).
The unprofessionalism doesn't bother me too much for M-x man, especially
since the current behavior is broken IMNSHO: it pops up a window
asynchronously, i.e. at a time you might be doing something else and not
expecting this disruption.
Stefan
- bug#17831: 24.4.50; bad default value for `Man-width', Leo Liu, 2014/06/22
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/23
- bug#17831: 24.4.50; bad default value for `Man-width', Leo Liu, 2014/06/23
- bug#17831: 24.4.50; bad default value for `Man-width', Juri Linkov, 2014/06/23
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/23
- bug#17831: 24.4.50; bad default value for `Man-width', martin rudalics, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Eli Zaretskii, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width',
Stefan Monnier <=
- bug#17831: 24.4.50; bad default value for `Man-width', Eli Zaretskii, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', martin rudalics, 2014/06/25
- bug#17831: 24.4.50; bad default value for `Man-width', Eli Zaretskii, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Eli Zaretskii, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Eli Zaretskii, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Juri Linkov, 2014/06/24
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/24