[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Aborting display. Is this possible?
From: |
Stefan Monnier |
Subject: |
Re: Aborting display. Is this possible? |
Date: |
Tue, 21 Oct 2014 12:27:51 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) |
> So I suggest to turn the table and ask: how come fontification of C
> sources is so expensive, and how can we make it faster?
Indeed, that'd be better. But IIUC Alan has already been working fairly
hard to make CC-mode's parsing faster. So my guess is that either it's
just really hard because of some details of the C language, or we'd need
a serious restructuring/rewrite and I don't think anyone is up for that.
> IOW, if the measurements show that redisplay takes 10% of the time,
> let's not try to optimize those 10%, but instead concentrate on the
> 90%.
There's some general pressure to improve font-locking by making it more
precise, with somewhat marginal improvements but fairly high
processing costs (pushed to the extreme, this involves passing the text
to an external toolchain that parses and type-checks and returns to
Emacs the precise highlighting info; see for example agda-mode).
So, maybe we're looking at a future where we'll need to provide some way
for delayed/asynchronous font-lock refinement.
Stefan
- Re: Aborting display. Is this possible?, (continued)
- Re: Aborting display. Is this possible?, Eli Zaretskii, 2014/10/20
- Re: Aborting display. Is this possible?, Alan Mackenzie, 2014/10/20
- Re: Aborting display. Is this possible?, Eli Zaretskii, 2014/10/20
- Re: Aborting display. Is this possible?, Alan Mackenzie, 2014/10/20
- Re: Aborting display. Is this possible?, David Kastrup, 2014/10/21
- Re: Aborting display. Is this possible?, Alan Mackenzie, 2014/10/21
- Re: Aborting display. Is this possible?, David Kastrup, 2014/10/21
- Re: Aborting display. Is this possible?, Stefan Monnier, 2014/10/21
- Re: Aborting display. Is this possible?, Stefan Monnier, 2014/10/21
- Re: Aborting display. Is this possible?, Eli Zaretskii, 2014/10/21
- Re: Aborting display. Is this possible?,
Stefan Monnier <=
- Re: Aborting display. Is this possible?, Stephen Leake, 2014/10/22
- Re: Aborting display. Is this possible?, Stefan Monnier, 2014/10/22
- Re: Aborting display. Is this possible?, Alan Mackenzie, 2014/10/21
- Re: Aborting display. Is this possible?, Eli Zaretskii, 2014/10/21
- Re: Aborting display. Is this possible?, Alan Mackenzie, 2014/10/21
- Re: Aborting display. Is this possible?, Eli Zaretskii, 2014/10/21
- Re: Aborting display. Is this possible?, Eli Zaretskii, 2014/10/21
- Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Alan Mackenzie, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Eli Zaretskii, 2014/10/26
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Alan Mackenzie, 2014/10/26