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.' +'