[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could w
From: |
Alan Mackenzie |
Subject: |
Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please. |
Date: |
Sat, 11 Jun 2016 19:58:21 +0000 |
User-agent: |
Mutt/1.5.24 (2015-08-30) |
Hello, Dmitry.
On Sat, Jun 11, 2016 at 07:32:44PM +0300, Dmitry Gutov wrote:
> On 06/11/2016 01:24 PM, Alan Mackenzie wrote:
> > font-lock-dont-widen is ugly indeed. Maybe syntax-ppss-base could be a
> > bit less ugly.
> The latter can't be the full replacement for the former:
> a) font-lock-dont-widen is used well before syntax-ppss-base would take
> effect. In particular, it affects the result of
> font-lock-extend-region-functions.
> b) font-lock-dont-widen helps with both upper and lower bounds on the
> buffer position. syntax-ppss-base would only describe one.
I'm fighting blindfolded with my hands tied behind my back here.
My gut feeling is that there's something wrong with the whole idea.
Where is the documentation for the font-lock-dont-widen (etc.)
mechanism? It has to exist.
--
Alan Mackenzie (Nuremberg, Germany).
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., (continued)
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Stefan Monnier, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Dmitry Gutov, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Stefan Monnier, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Alan Mackenzie, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Stefan Monnier, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Alan Mackenzie, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Stefan Monnier, 2016/06/12
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Dmitry Gutov, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Dmitry Gutov, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Dmitry Gutov, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please.,
Alan Mackenzie <=
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Dmitry Gutov, 2016/06/11
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Andreas Röhler, 2016/06/14
- Re: Bug #22983 (syntax-ppss returns wrong result) is still open. Could we fix it before the release, please., Stefan Monnier, 2016/06/15