don't search on options that should be hidden

This commit is contained in:
yugecin 2018-10-28 17:10:39 +01:00
parent a027330be3
commit 28f5cfe5c8
No known key found for this signature in database
GPG Key ID: 2C5AC035A7068E44

View File

@ -70,6 +70,9 @@ public class Option {
* @return true if this option does need to be filtered * @return true if this option does need to be filtered
*/ */
public boolean filter(String searchString) { public boolean filter(String searchString) {
if (!showCondition()) {
return filtered = true;
}
if (searchString == null || searchString.length() == 0) { if (searchString == null || searchString.length() == 0) {
filtered = false; filtered = false;
return false; return false;