> This is the second of two PRs to enhance JavaDoc search, it is based on the
> first one (#8185).
>
> It adds a standalone search page (search.html) along with its own script file
> (search-page.js). This PR is very similar to the last prototype I uploaded
> and demoed, the changes are mostly
On Tue, 19 Apr 2022 21:04:04 GMT, Hannes Wallnöfer wrote:
>> This is the second of two PRs to enhance JavaDoc search, it is based on the
>> first one (#8185).
>>
>> It adds a standalone search page (search.html) along with its own script
>> file (search-page.js). This PR is very similar to the
On Tue, 19 Apr 2022 21:04:04 GMT, Hannes Wallnöfer wrote:
>> This is the second of two PRs to enhance JavaDoc search, it is based on the
>> first one (#8185).
>>
>> It adds a standalone search page (search.html) along with its own script
>> file (search-page.js). This PR is very similar to the
On Tue, 19 Apr 2022 21:04:04 GMT, Hannes Wallnöfer wrote:
>> This is the second of two PRs to enhance JavaDoc search, it is based on the
>> first one (#8185).
>>
>> It adds a standalone search page (search.html) along with its own script
>> file (search-page.js). This PR is very similar to the
On Wed, 13 Apr 2022 21:27:30 GMT, liach wrote:
> 1. Seems the result list will automatically scroll down when the mouse
> hovers over, which feels weird.
>
> 2. When an arbitrary string is typed in and enter is pressed, it
> navigates to the best match, even though it may not be an acc
> This is the second of two PRs to enhance JavaDoc search, it is based on the
> first one (#8185).
>
> It adds a standalone search page (search.html) along with its own script file
> (search-page.js). This PR is very similar to the last prototype I uploaded
> and demoed, the changes are mostly
On Tue, 19 Apr 2022 15:00:45 GMT, Hannes Wallnöfer wrote:
> > ```
> > 1. Seems the result list will automatically scroll down when the mouse
> > hovers over, which feels weird.
> > ```
>
> I think what you're referring to is a behavior of the jQuery autocomplete
> component we are using. It wa
On Wed, 13 Apr 2022 21:27:30 GMT, liach wrote:
> User remark:
>
> 1. Seems the result list will automatically scroll down when the mouse
> hovers over, which feels weird.
I think what you're referring to is a behavior of the jQuery autocomplete
component we are using. It was not modified
On Wed, 13 Apr 2022 16:01:17 GMT, Hannes Wallnöfer wrote:
> This is the second of two PRs to enhance JavaDoc search, it is based on the
> first one (#8185).
>
> It adds a standalone search page (search.html) along with its own script file
> (search-page.js). This PR is very similar to the last
> This is the second of two PRs to enhance JavaDoc search, it is based on the
> first one (#8185).
>
> It adds a standalone search page (search.html) along with its own script file
> (search-page.js). This PR is very similar to the last prototype I uploaded
> and demoed, the changes are mostly
On Wed, 13 Apr 2022 16:01:17 GMT, Hannes Wallnöfer wrote:
> This is the second of two PRs to enhance JavaDoc search, it is based on the
> first one (#8185).
>
> It adds a standalone search page (search.html) along with its own script file
> (search-page.js). This PR is very similar to the last
On Wed, 13 Apr 2022 16:01:17 GMT, Hannes Wallnöfer wrote:
> This is the second of two PRs to enhance JavaDoc search, it is based on the
> first one (#8185).
>
> It adds a standalone search page (search.html) along with its own script file
> (search-page.js). This PR is very similar to the last
12 matches
Mail list logo
