Gui enhancements - #87

Open

Eawvv wants to merge 2 commits into

Pilchie: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
f690750
inverted category filter
Edwin Roerdink
committed
59a4d50