[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#17831: 24.4.50; bad default value for `Man-width'
From: |
Eli Zaretskii |
Subject: |
bug#17831: 24.4.50; bad default value for `Man-width' |
Date: |
Tue, 24 Jun 2014 18:46:37 +0300 |
> Date: Tue, 24 Jun 2014 09:13:54 +0200
> From: martin rudalics <rudalics@gmx.at>
> Cc: 17831@debbugs.gnu.org, Leo Liu <sdl.web@gmail.com>
>
> To fix this we could either use some sort of maximimum width (for me
> more than 80 columns are not very readable anyway) and propose an
> adequate display buffer action or implement simple heuristics to detect
> how large the window used by `display-buffer' would be and fill the
> buffer in some adequate manner.
None of this will ever work 100% reliably in the "M-x man" case,
because while the command runs in the background, the user could
change the window and frame configuration at will.
> Alternatively, we could display the buffer first, look at what size we
> get, fill the buffer, and possibly resize the window afterwards. For
> `with-temp-buffer-window' this means that we would have to fill the
> buffer either via `temp-buffer-window-show-hook' or in QUIT-FUNCTION.
But this will momentarily flash incorrect (e.g., empty) display,
right? Not nice, IMO.
- 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', 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, 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 <=
- 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
- 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