Re: [patch] Bug 3529-TOC widget does not select the current part/section/subsection correctly

[Jürgen Spitzmüller]

Ozgur Ugras BARAN wrote:
> This one should be better in behaviour, but ugly as hell.
>
> Would you please test it, again?

Works for me AFAICT. As said, I can commit it for you if I get o.k. from Abdel 
and José (and a log file entry from you).

Jürgen