Hide empty categories in Properties widget

This should be fixed now.

1 Like