Patch: Make synopsis frame behave properly in Firefox.

[Thomas Schilling]

In Firefox, pressing the back button first reverted the synopsis
frame, and only clicking the back button a second time would update
the main frame.

The problem was that setting the window.location added the new page to
the history.  This works around this problem by using the replace()
method if present.  See
https://developer.mozilla.org/en/window.location#Methods

/ Thomas
-------------- next part --------------
A non-text attachment was scrubbed...
Name: backbuttonfix.dpatch
Type: application/octet-stream
Size: 34190 bytes
Desc: not available
Url : http://projects.haskell.org/pipermail/haddock/attachments/20100804/f60ead4a/attachment-0001.obj