lampepfl / dotty-feature-requests

Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests
31 stars 2 forks source link

Don't show filter dropdown when there is no keywords/inherited/etc #276

Closed ckipp01 closed 1 year ago

ckipp01 commented 2 years ago

If you take a look at the docs for TastyReader and you look at the Filter all members search bar you see a drop drown indicating to the user that you can expand and do something. However, in this scenario there is nothing there causing confusion.

2022-01-06 11 19 35

I don't think this should be shown as a drop down in this situation as it can lead to confusion showing an indicator that makes it seem like it does something, when it reality it does nothing.