Since I have no IE7 installed anywhere anymore, can you attach an output file with and without the manual edit (or a diff of both), so I know exactly what to change?

Created attachment 216495 [details]
Original output

Created attachment 216496 [details]
Patched version

The change is the last character on the penultimate line.


Original:

var NAVTREEINDEX42 =
{
"group__Sandbox.html#gaeea2c0ba997e7ed1c57fad013783da46":[8,1,0,99],
...
"nr3_8h.html#abb324d10407ebaabd5e0b393245c7f5b":[11,0,5,241,37],
"nr3_8h.html#abbefda5aee8e26da41ae345b190cc557":[11,0,5,241,50],
};


Works on IE7:

var NAVTREEINDEX42 =
{
"group__Sandbox.html#gaeea2c0ba997e7ed1c57fad013783da46":[8,1,0,99],
...
"nr3_8h.html#abb324d10407ebaabd5e0b393245c7f5b":[11,0,5,241,37],
"nr3_8h.html#abbefda5aee8e26da41ae345b190cc557":[11,0,5,241,50]
};

Confirmed. Should be fixed in the next subversion update.

This bug was previously marked ASSIGNED, which means it should be fixed in
doxygen version 1.8.1.2. Please verify if this is indeed the case. Reopen the
bug if you think it is not fixed and please include any additional information
that you think can be relevant.

Confirmed fixed in 1.8.1.2. Thanks very much!