> checkbox with !*.foo => still an improvement
Absolutely! Ie. to place a checkbox in front would allow to activate/deactivate a set-once ignore list by demand.
An additional dropdown for this special purpose? Rather not ... (why?)
Sorry, a typo. I meant "One dropdown" => as in the one
existing one to be extended to allow the "!"