From 2b1507220fac947dd6da4b1a4542c20fac328f23 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 11 Jun 2008 02:45:32 +0000 Subject: [PATCH] partial match explanation svn: r10213 --- collects/scribblings/main/private/search.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js index 26e0d180bb..ced5ffa908 100644 --- a/collects/scribblings/main/private/search.js +++ b/collects/scribblings/main/private/search.js @@ -70,9 +70,9 @@ function InitializeSearch() { +' C+Enter/S+C+Enter to scroll through the' +' results.' +'
  • Use “M:str” to match only identifiers' - +' from modules that match “str”;' - +' “M:” by itself will restrict results to bound' - +' names only.
  • ' + +' from modules that (partially) match' + +' “str”; “M:” by' + +' itself will restrict results to bound names only.' +'
  • L:str” is similar to' +' “M:str”, but' +' “str” should match the module name'