WooCommerce Product Category Filter

Screenshots

If your site has a large number of product categories, it can be helpful to be able to search through them rather than scrolling to find the one you need. This plugin adds a text box to the category list which filters the list in place.