[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56393: Turn on narrowing in redisplay_window
From: |
Eli Zaretskii |
Subject: |
bug#56393: Turn on narrowing in redisplay_window |
Date: |
Tue, 19 Jul 2022 15:43:48 +0300 |
> Cc: 56393@debbugs.gnu.org
> From: Gerd Möllmann <gerd.moellmann@gmail.com>
> Date: Tue, 19 Jul 2022 13:26:31 +0200
>
> Gregory Heytings <gregory@heytings.org> writes:
>
> >>
> >> which is "the buffer got smaller"?
> >>
> >
> > You are correct. It's too hot here too, apparently! 😉
>
> Is finding newlines that expensive? (I don't remember.)
It isn't, but if you have a very large buffer, finding _all_ the
newlines in it could take time.
> I mean, if someone turns that "mode" on, does he deserve to suffer a
> little bit while that is switched on?
We want to have this "mode" turned on by default.
> I think someone with such a long line deserves to suffer.
That's a bootstrap problem: when you first visit a file, you usually
don't know whether it will have long lines. By the time you know,
it's many times too late. Thus such a feature should ideally be
active by default, unless it sometimes causes serious problems.
- bug#56393: Resetting long_line_optimization_p to 0, (continued)
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/19
- bug#56393: Auto narrowing autside of redisplay, Gerd Möllmann, 2022/07/19
- bug#56393: Auto narrowing autside of redisplay, Gregory Heytings, 2022/07/19
- bug#56393: Actually fix the long lines display bug, Gerd Möllmann, 2022/07/19
- bug#56393: Turn on narrowing in redisplay_window, Gerd Möllmann, 2022/07/19
- bug#56393: Turn on narrowing in redisplay_window, Gregory Heytings, 2022/07/19
- bug#56393: Turn on narrowing in redisplay_window, Gerd Möllmann, 2022/07/19
- bug#56393: Turn on narrowing in redisplay_window,
Eli Zaretskii <=
- bug#56393: Actually fix the long lines display bug, Gerd Möllmann, 2022/07/20
- bug#56393: Actually fix the long lines display bug, Gregory Heytings, 2022/07/20
- bug#56393: Actually fix the long lines display bug, Eli Zaretskii, 2022/07/19
- bug#56393: Actually fix the long lines display bug, Gerd Möllmann, 2022/07/20