Skip to content
This repository was archived by the owner on Nov 17, 2023. It is now read-only.

Fix search result url #5921

Merged
mli merged 2 commits into from
Apr 21, 2017
Merged

Fix search result url #5921

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
c7879ad
Fix search result url
Apr 20, 2017
d7b193f
Small fix
Apr 20, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 7 additions & 1 deletion docs/_static/searchtools_custom.js
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -419,6 +419,9 @@ var Search = {
$('#search-preview').append('<ul id="preview-list"></ul>');
while(prevNum < 10 && results.length > 0) {
var item = results.pop();
if(item[0].endsWith('.md')) {
item[0] = item[0].substring(0, item[0].length - 3);
}
var listItem = $('<li></li>');
if (DOCUMENTATION_OPTIONS.FILE_SUFFIX === '') {
// dirhtml builder
Expand Down Expand Up @@ -460,6 +463,9 @@ var Search = {
// results left, load the summary and display it
if (results.length) {
var item = results.pop();
if(item[0].endsWith('.md')) {
item[0] = item[0].substring(0, item[0].length - 3);
}
var listItem = $('<li style="display:none"></li>');
if (DOCUMENTATION_OPTIONS.FILE_SUFFIX === '') {
// dirhtml builder
Expand Down Expand Up @@ -549,7 +555,7 @@ var Search = {
var objects = this._index.objects;
var objnames = this._index.objnames;
var titles = this._index.titles;
var objLowLimit = 5;
var objLowLimit = 10;

var i;
var results = [];
Expand Down