diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-02 23:58:25 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-02 23:58:25 +0100 |
| commit | 2b2e3108e892b925abeb101609d3e49ec69ef4dc (patch) | |
| tree | 9caf16010dfe52430a14221fbd8a6c4adf8c3f25 /html-test/ref/haddock-util.js | |
| parent | 3be46a2ec472c4f220f1eac1bd029690086b8c18 (diff) | |
Update tests to follow HTML changes
Diffstat (limited to 'html-test/ref/haddock-util.js')
| -rw-r--r-- | html-test/ref/haddock-util.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html-test/ref/haddock-util.js b/html-test/ref/haddock-util.js index ba574356..fc7743fe 100644 --- a/html-test/ref/haddock-util.js +++ b/html-test/ref/haddock-util.js @@ -229,7 +229,7 @@ function perform_search(full) } function setSynopsis(filename) { - if (parent.window.synopsis) { + if (parent.window.synopsis && parent.window.synopsis.location) { if (parent.window.synopsis.location.replace) { // In Firefox this avoids adding the change to the history. parent.window.synopsis.location.replace(filename); |