diff options
author | luca-aep <67954834+luca-aep@users.noreply.github.com> | 2020-09-16 19:03:18 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-16 19:03:18 (GMT) |
commit | 49ed5387d6a80bbbff3544293cd30c0184abd1ec (patch) | |
tree | 935e62f9ac4304ec282537e2e2768fd011004f08 /templates/html | |
parent | 544843db399c51b77674755f70992f0bdc8403ea (diff) | |
download | Doxygen-49ed5387d6a80bbbff3544293cd30c0184abd1ec.zip Doxygen-49ed5387d6a80bbbff3544293cd30c0184abd1ec.tar.gz Doxygen-49ed5387d6a80bbbff3544293cd30c0184abd1ec.tar.bz2 |
Proposed fix for issue #7898 (#8029)
* Proposed fix for issue #7898 - Internal search engine produce ".html" pages instead of using HTML_FILE_EXTENSION
* Applied albert-github suggestions to proposed fix for issue #7898
Diffstat (limited to 'templates/html')
-rw-r--r-- | templates/html/search.js | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/templates/html/search.js b/templates/html/search.js index 92b6094..f591fd6 100644 --- a/templates/html/search.js +++ b/templates/html/search.js @@ -80,9 +80,10 @@ function getYPos(item) storing this instance. Is needed to be able to set timeouts. resultPath - path to use for external files */ -function SearchBox(name, resultsPath, inFrame, label) +function SearchBox(name, resultsPath, inFrame, label, extension) { if (!name || !resultsPath) { alert("Missing parameters to SearchBox."); } + if (!extension || extension == "") { extension = ".html"; } // ---------- Instance variables this.name = name; @@ -97,6 +98,7 @@ function SearchBox(name, resultsPath, inFrame, label) this.searchActive = false; this.insideFrame = inFrame; this.searchLabel = label; + this.extension = extension; // ----------- DOM Elements @@ -347,7 +349,7 @@ function SearchBox(name, resultsPath, inFrame, label) if (idx!=-1) { var hexCode=idx.toString(16); - resultsPage = this.resultsPath + '/' + indexSectionNames[this.searchIndex] + '_' + hexCode + '.html'; + resultsPage = this.resultsPath + '/' + indexSectionNames[this.searchIndex] + '_' + hexCode + this.extension; resultsPageWithSearch = resultsPage+'?'+escape(searchValue); hasResultsPage = true; } |