#3 Possibiltiy to filter the indenter settings

[Anonymous]

The grouping of the settings may not always be fitting to what the user is looking for as it is a logical grouping, but sometimes users may want to fix one special item.

So if you could filter "if" (freetext), all setting except those having "if" in its name would be hidden - be it spacing, newlines or intenting.