| commit | f8c4729c1b026d446273cefbc7896d8749ba2d2b | [log] [tgz] |
|---|---|---|
| author | Hannes Wallnöfer <hannesw@openjdk.org> | Fri Nov 02 18:35:30 2018 +0100 |
| committer | Hannes Wallnöfer <hannesw@openjdk.org> | Fri Nov 02 18:35:30 2018 +0100 |
| tree | 7ff2f34102c4d2515bba70e46d546b7a0a5f45ea | |
| parent | 36ca4f5893a7f646205a558124fee2dd50a5abd5 [diff] |
8210405: Javadoc search doesn't always consider full input upon Enter Reviewed-by: jjg
diff --git a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js index 06b2aa8..522d4c4 100644 --- a/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js +++ b/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js
@@ -149,7 +149,7 @@ $(function() { $("#search").catcomplete({ minLength: 1, - delay: 100, + delay: 300, source: function(request, response) { var result = new Array(); var presult = new Array();