-
-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[RFC]: add support for filtering the side menu by REPL alias #17
Comments
This is a little tricky to do because the side menu filter currently supports regular expression filters which may include the use of a Hence, could be hard to disambiguate whether a user wants to search based on a REPL alias or a regular expression using the special |
Limiting filtering by REPL alias to only when the REPL API docs mode is active does not fully address the ambiguity. While it would provide a strong indication that a user wants to filter by alias, we would not be able to readily distinguish between
and
where, in the former, we want to use the |
Description
This RFC proposes adding support for filtering the side menu according to a package's REPL alias.
Currently, a user can filter according to the nested package tree in the main project. However, it would be nice if a user could also filter according to REPL alias.
For example, the query
would resolve the package
in the side menu.
Similarly, the query
would resolve the packages
in the side menu.
Related Issues
No.
Questions
No.
Other
No.
Checklist
RFC:
.The text was updated successfully, but these errors were encountered: