diff options
author | Thomas Schilling <nominolo@googlemail.com> | 2010-08-04 13:12:22 +0000 |
---|---|---|
committer | Thomas Schilling <nominolo@googlemail.com> | 2010-08-04 13:12:22 +0000 |
commit | 0ddd36328d48b6b173e09ce693b9a2e856dc395c (patch) | |
tree | b81660e8fd41bc05692628ae35e70502b7597a6f | |
parent | a100927cdee1e214a53af8f71505d8e6c0096432 (diff) |
Make synopsis frame behave properly in Firefox.
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.
-rw-r--r-- | html/haddock-util.js | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/html/haddock-util.js b/html/haddock-util.js index 5978f056..4a7e4255 100644 --- a/html/haddock-util.js +++ b/html/haddock-util.js @@ -198,7 +198,12 @@ function perform_search(full) function setSynopsis(filename) { if (parent.window.synopsis) { - parent.window.synopsis.location = filename; + if (parent.window.synopsis.location.replace) { + // In Firefox this avoids adding the change to the history. + parent.window.synopsis.location.replace(filename); + } else { + parent.window.synopsis.location = filename; + } } } |