()
| 99 | var updateSearchResults = function() {}; |
| 100 | |
| 101 | function indexFilesLoaded() { |
| 102 | return moduleSearchIndex |
| 103 | && packageSearchIndex |
| 104 | && typeSearchIndex |
| 105 | && memberSearchIndex |
| 106 | && tagSearchIndex; |
| 107 | } |
| 108 | |
| 109 | // Workaround for scroll position not being included in browser history (8249133) |
| 110 | document.addEventListener("DOMContentLoaded", function(e) { |