[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 15:35:04 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) |
>> > But this will momentarily flash incorrect (e.g., empty) display,
>> > right? Not nice, IMO.
>> That doesn't seem to bother users of C-x v =
Doesn't bother web-browser users either, BTW.
> Which again uses an asynchronous text producer. That's not the same
> as *Completions*, so I don't think we should discuss these two issues
> as one.
For the non-async case, the empty buffer will not appear for lack
of redisplay.
> Are you sure? what about echo-area messages, which might trigger redisplay?
That can happen, but I wouldn't worry about it.
> > 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.
> So perhaps TRT is simply to get rid of the asynchronous operation in
> the first place.
The annoying disruption is when "M-x man" takes a long time to get&generate
the full output. I.e. it's the case where it's especially important to
use asynchronous operation.
Stefan
- bug#17831: 24.4.50; bad default value for `Man-width', (continued)
- 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, 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', 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 <=
- 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
- bug#17831: 24.4.50; bad default value for `Man-width', Juri Linkov, 2014/06/26
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/26
- bug#17831: 24.4.50; bad default value for `Man-width', Juri Linkov, 2014/06/27
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/27
- bug#17831: 24.4.50; bad default value for `Man-width', Juri Linkov, 2014/06/29
- bug#17831: 24.4.50; bad default value for `Man-width', Stefan Monnier, 2014/06/29