[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Aborting display. Is this possible?
From: |
Stephen Leake |
Subject: |
Re: Aborting display. Is this possible? |
Date: |
Wed, 22 Oct 2014 13:28:04 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.94 (windows-nt) |
Stefan Monnier <address@hidden> writes:
> 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).
Did you mean "ada-mode" here? I don't find 'agda-mode' in 24.3.94 or
ELPA. I'm still having trouble with process communication, so I'll be
trying the new FFI mechanism next.
But your point is valid; I much prefer faster font-lock, rather than
less precise font-lock. I'm not sure my customers really agree; they
have not spoken up (other than one complaint that it's too slow on huge
files).
> So, maybe we're looking at a future where we'll need to provide some way
> for delayed/asynchronous font-lock refinement.
Ah, like a jpeg sent over a slow internet connection (at least, that's
they way I remember it; haven't run into that in years).
Perhaps it would be possible to define a subset of the full grammar,
that provides some meaningful level of font-lock, and is significantly
faster to parse. That would be a lot of work, but I may have to try that
if all else fails.
--
-- Stephe
- Re: Aborting display. Is this possible?, (continued)
- 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, 2014/10/21
- Re: Aborting display. Is this possible?,
Stephen Leake <=
- 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
- Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ], Eli Zaretskii, 2014/10/26