[prev in list] [next in list] [prev in thread] [next in thread] 

List:       lilypond-devel
Subject:    Re: [PATCH] Another one for #1036
From:       Graham Percival <graham () percival-music ! ca>
Date:       2010-05-20 15:29:33
Message-ID: AANLkTino0seFGg0qswLHtw9Lbm1YlZJgYiHaj7VOgXx9 () mail ! gmail ! com
[Download RAW message or body]

On Thu, May 20, 2010 at 1:06 PM, Francisco Vila <paconet.org@gmail.com> 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.


Pushed.

Cheers,
- Graham


[prev in list] [next in list] [prev in thread] [next in thread]