Skip to content

Conversation

sorawee
Copy link
Contributor

@sorawee sorawee commented Sep 29, 2020

HTML supports the placeholder attribute, so we should use it
instead of implementing it ourselves.

The placeholder attribute is not available prior IE10 (not including
IE10). However:

  1. In non-supporting browsers (e.g., IE9), the search functionality
    should still work correctly.
  2. Non-supporting browsers don't qualify for the "full support" level
    detailed in Add browser support policy for Scribble-generated documentation. #240
    IE9 for instance is released in 2011, and Microsoft announced its end of
    support in 2016.

Also, technically this is a bug fix. Currently, if users type ...search manuals... as a search query, focus somewhere else, and then focus the search box again, the text will disappear.

HTML supports the placeholder attribute, so we should use it
instead of implementing it ourselves.

The placeholder attribute is not available prior IE10 (not including
IE10). However:

1. In non-supporting browsers (e.g., IE9), the search functionality
should still work correctly.
2. Non-supporting browsers don't qualify for the "full support" level
detailed in racket#240
IE9 for instance is released in 2011, and Microsoft announced its end of
support in 2016.
@mflatt mflatt merged commit c054b62 into racket:master Nov 6, 2020
@sorawee sorawee deleted the search-placeholder branch November 6, 2020 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants