woothemes/woocommerce — pull request #4946 by jorams (2014-02-25 13:45:30+00:00)
Title: Add option to Product Categories widget to exclude certain categories

We have a category that isn't supposed to be used/seen by visitors, so there needed to be a way to exclude it from the widget.

This solution isn't too elegant because the category ids aren't really prominent, but it does work.