[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Manual: indexes are missing links
|
From: |
Stefan Monnier |
|
Subject: |
Re: Manual: indexes are missing links |
|
Date: |
Wed, 20 Dec 2006 17:05:30 -0500 |
|
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.91 (gnu/linux) |
> As Jury corrected me, the problem is not with supporting the new
> format, the problem was that menus in the indices were not decorated
> as normal menus since long ago.
> I agree that we should consider revising this decision now, that the
> machines are so much faster.
We could also let jit/font-lock handle this decoration, so it work fast even
for humongous indices,
Stefan