Hannes Wallnöfer
|
f9c7cdaed6
|
8294109: JavaDoc search should search whole index
Reviewed-by: jjg
|
2022-11-04 16:00:36 +00:00 |
|
Hannes Wallnöfer
|
5ac7186c9e
|
8282559: Allow multiple search terms in javadoc search
Reviewed-by: jjg
|
2022-05-05 14:46:43 +00:00 |
|
Hannes Wallnöfer
|
53d14442c9
|
8244535: JavaDoc search is overly strict with letter case
Reviewed-by: jjg
|
2020-11-27 15:27:19 +00:00 |
|
Hannes Wallnöfer
|
725449932b
|
8223378: CSS solution for navbar problem with <a> elements is not ideal
Reviewed-by: jjg
|
2019-11-27 13:08:16 +01:00 |
|
Hannes Wallnöfer
|
8322ce2e6b
|
8220497: Improve Javadoc search feature and add test coverage
Reviewed-by: jjg
|
2019-04-25 09:12:40 +02:00 |
|