diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js index dc0bb01fdd..df32217505 100644 --- a/collects/scribblings/main/private/search.js +++ b/collects/scribblings/main/private/search.js @@ -56,22 +56,22 @@ function InitializeSearch() { +'
  • Use “M:str” to match only identifiers' +' from modules that match “str”;' +' “M:” by itself will restrict results to bound' - +' names only
  • ' + +' names only.' +'
  • L:str” is similar to' - +' “L:str”, but' + +' “M:str”, but' +' “str” should match the module name' - +' exactly
  • ' + +' exactly.' +'
  • T:str” restricts results to ones in' +' the “str” manual (naming the directory' - +' where the manual is found)
  • ' + +' where the manual is found).' +'
  • Entries that correspond to bindings have module links that create' +' a query restricted to bindings in that module (using' +' “L:”), other entries have similar links for' +' restricting results to a specific manual (using' +' “T:”); you can control whether manual links' - +' appear (and how) in the preferences
  • ' + +' appear (and how) in the preferences.' +'
  • Right-clicking these links refines the current query instead of' - +' changing it (some browsers don\'t support this)
  • ' + +' changing it (but some browsers don\'t support this).' +'' +'' +''