You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What steps are required to reproduce the unexpected output?
In order to reproduce this bug, do the following:
Go to documentation
Type in menu search field
Expected Results
What are the expected results?
The following results are expected:
(Menu to be filtered)
Actual Results
What are the actual results?
The following are the actual results:
(Nothing)
Environments
What environments are affected (e.g., Node v0.4.x, Chrome, IE 11)? If Node.js, include the npm version, operating system, and any other potentially relevant platform information.
The following environments are affected:
Safari MacOS 12
The text was updated successfully, but these errors were encountered:
Checklist
Description
Unable to filter documentation menu. Encountered an error when searching documentation here.
Related Issues
Not that I can see.
Questions
No.
Other
Demo
For a live demo of the issue, see
Reproduction
In order to reproduce this bug, do the following:
Expected Results
The following results are expected:
Actual Results
The following are the actual results:
Environments
The following environments are affected:
The text was updated successfully, but these errors were encountered: