Bei einem normalen Link (<a href=""></a>) sieht man 3 Sekunden lang das animierte Gif vor sich hinanimieren, bevor der Aufbau, der neuen Seite beginnt.
In manchen Browsern ist das anscheinend mittlerweile so, das war früher anders.
FF verhält sich so wie du es sagst. Dem IE 6 ist egal ob Link oder window.location.href, er stoppt das gif immer, im Opera läuft es in beiden Fällen weiter. Es ist also vermutlich kein definiertes Verhalten.
So - das war jetzt mein letzter Versuch es deutlich zu machen :)
Ich hab' dich durchaus verstanden, ich frag mich aber warum du einen Bug vermutest. Dazu müßtest du doch erstmal wissen wie das Verhalten in so einem Fall definiert ist, bevor du sagen kannst etwas ist falsch?
Wie gesagt, ich halte es so wie es Firefox macht für sinnvoll und angenehmsten, du erwartest es so, wie es Opera macht.
Struppi.