From 282b77ee9c9fd382d5ed576ad5bf7a41d97ca2a5 Mon Sep 17 00:00:00 2001 From: XhmikosR Date: Fri, 19 Oct 2018 19:43:12 +0300 Subject: [PATCH] docs search: take into account the current URL. --- site/_includes/docs-sidebar.html | 2 +- site/docs/4.1/assets/js/src/search.js | 19 ++++++++++++++++--- 2 files changed, 17 insertions(+), 4 deletions(-) diff --git a/site/_includes/docs-sidebar.html b/site/_includes/docs-sidebar.html index 61edd8ec11..cd6b5f8d2f 100644 --- a/site/_includes/docs-sidebar.html +++ b/site/_includes/docs-sidebar.html @@ -1,5 +1,5 @@