[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Another one for #1036

From: Graham Percival
Subject: Re: [PATCH] Another one for #1036
Date: Thu, 20 May 2010 16:29:33 +0100

On Thu, May 20, 2010 at 1:06 PM, Francisco Vila <address@hidden> wrote:
> Hello. This patch includes a fix for remove_unneeded_anchor:
> therefore, the other patch which also fixed it should NOT be applied.

Thanks, looks great!  I am **so** happy to get rid of those
meaningless #foo  portions of urls.

> The patch has a side effect of eliminating the side menu highlighting
> of the current section. I have not investigated this new problem yet.
> If anyone has a clever idea of what's happening, It would be great.

Can't reproduce.  I have the normal highlighting here.  :)

rebuild from scratch (after completely nuking my build dir), comparing
exactly the same page on my local docs vs. the online docs, etc.


- Graham

reply via email to

[Prev in Thread] Current Thread [Next in Thread]