diff --git a/pd/nw/dialog_search.html b/pd/nw/dialog_search.html index f043d72baae23d9fdb95df59f201a9f7f2547188..797abe2452fe3a9d498f27924313b09df75b2f7b 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;