diff options
| author | Phil Ruffwind <rf@rufflewind.com> | 2015-06-14 23:12:09 -0400 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-02 23:15:26 +0100 |
| commit | 7656bf86a661c5c755dc9874f709df2fc4833257 (patch) | |
| tree | aa4fa76419986186657d0cb52371775ba0854fee /html-test/src/GADTRecords.hs | |
| parent | 089d20c23c5e3a00856ee9480a3953060b03ed7b (diff) | |
Avoid JavaScript error during page load in non-frame mode
In non-frame mode, parent.window.synopsis refers to the synopsis div
rather than the nonexistent frame. Unfortunately, the script wrongly
assumes that if it exists it must be a frame, leading to an error where
it tries to access the nonexistent attribute 'replace' of an undefined
value (synopsis.location).
Closes #406
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions