[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The unwarranted scrolling assumption
From: |
Lennart Borgman |
Subject: |
Re: The unwarranted scrolling assumption |
Date: |
Thu, 17 Jun 2010 21:40:23 +0200 |
On Thu, Jun 17, 2010 at 9:36 PM, David Engster <address@hidden> wrote:
>
> Now this is just an example. As I've written, I've seen this behavior
> for years, especially in large buffers when using different fonts,
> elaborate font-locks, etc.
I guess this is because font lock uses narrowing. See my explanation to Eli.
You can try my patch if you want to, but please be aware of that there
were one little part I forgot to fix before sending it.
- Re: The unwarranted scrolling assumption, (continued)
- Re: The unwarranted scrolling assumption, Juanma Barranquero, 2010/06/17
- Re: The unwarranted scrolling assumption, Eli Zaretskii, 2010/06/18
- Re: The unwarranted scrolling assumption, Juanma Barranquero, 2010/06/18
- Re: The unwarranted scrolling assumption, Lennart Borgman, 2010/06/18
- Re: The unwarranted scrolling assumption, Stefan Monnier, 2010/06/18
- Re: The unwarranted scrolling assumption, Eli Zaretskii, 2010/06/18
- Re: The unwarranted scrolling assumption, Stefan Monnier, 2010/06/18
- Re: The unwarranted scrolling assumption, Eli Zaretskii, 2010/06/18
- Re: The unwarranted scrolling assumption, Juanma Barranquero, 2010/06/18
- Re: The unwarranted scrolling assumption, David Engster, 2010/06/17
- Re: The unwarranted scrolling assumption,
Lennart Borgman <=
- Re: The unwarranted scrolling assumption, Stefan Monnier, 2010/06/18
- Re: The unwarranted scrolling assumption, David Engster, 2010/06/16
- Re: The unwarranted scrolling assumption, Lennart Borgman, 2010/06/15
- Re: The unwarranted scrolling assumption, Juri Linkov, 2010/06/17
- Re: The unwarranted scrolling assumption, Juanma Barranquero, 2010/06/17
- Re: The unwarranted scrolling assumption, Juri Linkov, 2010/06/18
- Re: The unwarranted scrolling assumption, Juanma Barranquero, 2010/06/18
Re: The unwarranted scrolling assumption, grischka, 2010/06/18
Re: The unwarranted scrolling assumption, grischka, 2010/06/25