Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
CM: Category dropdown disabled except for Libraries #3668
Do we not have any categories for Examples, Modes, and Tools? If not, perhaps we should just hide this dropdown rather than disabling it. (A grayed out dropdown appears as though there is a circumstance in which it could be enabled, but that's not the case here.)
Correct me if I'm wrong!