[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alig
From: |
Stephen Berman |
Subject: |
bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment |
Date: |
Thu, 20 Jul 2023 22:12:35 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On Thu, 20 Jul 2023 21:43:40 +0200 Matthias Meulien <orontee@gmail.com> wrote:
> Step to reproduce:
>
> 1. M-x proced
>
> 2. C-x C-- (to call text-scale-adjust)
>
> 3. Observe the header text scale has not changed while the columns text
> scale has. This leads in wrong alignment of columns labels.
>
> Note that buffer list and bookmark menu don't have this problem. Would
> it make sense to make proced-mode derive tabulate-list-mode?
There was some discussion related to this in bug#1779,
e.g. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=1779#79:
> Thanks, I'll have to find out what Tabulated List mode is doing.
> I am just wondering: In general, proced was much inspired by dired.
> Would you suggest that dired should likewise use Tabulated List mode?
T-L mode is not suitable for Dired, because not every line is an
"entry", i.e. the first two summary lines---which are also the reason
why Dired does not use the header line. Other Dired features, like
showing multiple directories, also break T-L mode assumptions.
Steve Berman
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Matthias Meulien, 2023/07/20
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment,
Stephen Berman <=
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Matthias Meulien, 2023/07/21
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Eli Zaretskii, 2023/07/21
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Eli Zaretskii, 2023/07/21
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Laurence Warne, 2023/07/21
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Eli Zaretskii, 2023/07/22
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Matthias Meulien, 2023/07/22
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Laurence Warne, 2023/07/22
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Matthias Meulien, 2023/07/22
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Eli Zaretskii, 2023/07/23
- bug#64752: 30.0.50; proced: text-scale-adjust leads to wrong header alignment, Matthias Meulien, 2023/07/21