|
From: | martin rudalics |
Subject: | Re: Info indices are slow to display |
Date: | Sat, 10 Feb 2007 09:58:49 +0100 |
User-agent: | Mozilla Thunderbird 1.0 (Windows/20041206) |
> Info indices take too long to display. I wonder if that's why they didn't used > to be fontified. Ever since `Info-fontify-maximum-menu-size' was bumped to 1000000 `Info-fontify-node' takes ages to execute. I've customized that to 100000 (the previous value).
[Prev in Thread] | Current Thread | [Next in Thread] |