Re: Giving "text quotes" syntax in font-lock-syntax-table only

[Stefan Monnier]

> We think that the problem comes from running `syntax-ppss'.

Yes, the problem is that `syntax-ppss` is affected by the current
syntax-table yet it doesn't pay attention to syntax-table changes when
it comes to enforcing that its cache is not stale.

The arguably better way to solve the problem is to not change the
syntax-table used inside `syntax-ppss` and `syntax-propertize`.  This is
especially true for `syntax-propertize` if you use `syntax-ppss` in your
`syntax-propertize-function`.

The best way to do that is to set `syntax-ppss-table` to the
syntax-table that should be used.


        Stefan