From 28f5cfe5c8f2c61ab1b09b038f56b68b88eb43ef Mon Sep 17 00:00:00 2001
From: yugecin <yugecin@users.noreply.github.com>
Date: Sun, 28 Oct 2018 17:10:39 +0100
Subject: [PATCH] don't search on options that should be hidden

---
 src/yugecin/opsudance/options/Option.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/yugecin/opsudance/options/Option.java b/src/yugecin/opsudance/options/Option.java
index 7f31a142..67930849 100644
--- a/src/yugecin/opsudance/options/Option.java
+++ b/src/yugecin/opsudance/options/Option.java
@@ -70,6 +70,9 @@ public class Option {
 	 * @return true if this option does need to be filtered
 	 */
 	public boolean filter(String searchString) {
+		if (!showCondition()) {
+			return filtered = true;
+		}
 		if (searchString == null || searchString.length() == 0) {
 			filtered = false;
 			return false;