src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js
changeset 54598 a9953a8ccd66
parent 54350 4f9772f4403d
child 59294 48b88b9c11eb
equal deleted inserted replaced
54597:ab57d6bebed8 54598:a9953a8ccd66
    27 var packageSearchIndex;
    27 var packageSearchIndex;
    28 var typeSearchIndex;
    28 var typeSearchIndex;
    29 var memberSearchIndex;
    29 var memberSearchIndex;
    30 var tagSearchIndex;
    30 var tagSearchIndex;
    31 function loadScripts(doc, tag) {
    31 function loadScripts(doc, tag) {
    32     createElem(doc, tag, 'jquery/jszip/dist/jszip.js');
    32     createElem(doc, tag, 'script-dir/jszip/dist/jszip.js');
    33     createElem(doc, tag, 'jquery/jszip-utils/dist/jszip-utils.js');
    33     createElem(doc, tag, 'script-dir/jszip-utils/dist/jszip-utils.js');
    34     if (window.navigator.userAgent.indexOf('MSIE ') > 0 || window.navigator.userAgent.indexOf('Trident/') > 0 ||
    34     if (window.navigator.userAgent.indexOf('MSIE ') > 0 || window.navigator.userAgent.indexOf('Trident/') > 0 ||
    35             window.navigator.userAgent.indexOf('Edge/') > 0) {
    35             window.navigator.userAgent.indexOf('Edge/') > 0) {
    36         createElem(doc, tag, 'jquery/jszip-utils/dist/jszip-utils-ie.js');
    36         createElem(doc, tag, 'script-dir/jszip-utils/dist/jszip-utils-ie.js');
    37     }
    37     }
    38     createElem(doc, tag, 'search.js');
    38     createElem(doc, tag, 'search.js');
    39 
    39 
    40     $.get(pathtoroot + "module-search-index.zip")
    40     $.get(pathtoroot + "module-search-index.zip")
    41             .done(function() {
    41             .done(function() {