From ab3bcaba6c1c6237102a2b07d38e8f7df0bebf72 Mon Sep 17 00:00:00 2001
From: Albert Graef <aggraef@gmail.com>
Date: Thu, 20 Oct 2016 17:31:56 +0200
Subject: [PATCH] In addition to doc/ also allow extra/ for directory displays.
---
pd/nw/dialog_search.html | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/pd/nw/dialog_search.html b/pd/nw/dialog_search.html
index f043d72ba..797abe245 100644
--- a/pd/nw/dialog_search.html
+++ b/pd/nw/dialog_search.html
@@ -457,9 +457,10 @@ function doc_search() {
display_toc();
return;
}
- // if the search term is doc/* short circuit the search and
- // just list the docs in that directory
- if (search_text.slice(0, 4) === "doc/" &&
+ // if the search term is doc/* or extra/* then short circuit
+ // the search and just list the docs in that directory
+ if ((search_text.slice(0, 4) === "doc/" ||
+ search_text.slice(0, 6) === "extra/") &&
search_text.indexOf(" ") === -1) {
display_directory(path.join(pdgui.get_lib_dir(), search_text));
return;
--
GitLab