The plug-in manager is a list with hundreds of items, and the only way to search them is moving a tiny scroll bar with the mouse. It desperately needs a search box.
The plug-in manager is a list with hundreds of items, and the only way to search them is moving a tiny scroll bar with the mouse. It desperately needs a search box.