yyx990803 opened this issue 3 years ago · 1 comments
This is probably a low priority, the mobile screen is already quite crowded. Having this along with "menu" and "back to top" seems excessive, and people mostly just search directly for API references on mobile.