Gui enhancements#87

Open

Eawvv wants to merge 2 commits intoPilchie:masterfrom

Eawvv:gui-enhancements

Commits on Dec 1, 2018

changed trait checkbox to three-state checkbox; setting a trait to false should exclude the trait from filtering
Edwin Roerdink
committed
inverted category filter
Edwin Roerdink
committed