From 09c1a9d7ae8a47e5d5944e591e834795f5f37b07 Mon Sep 17 00:00:00 2001
From: Daniel Carl <danielcarl@gmx.de>
Date: Mon, 24 Feb 2014 09:34:25 +0100
Subject: [PATCH] Don't unmark search matches if the this feature is disabled.

---
 src/ex.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ex.c b/src/ex.c
index 2b6c5ab..89775c7 100644
--- a/src/ex.c
+++ b/src/ex.c
@@ -325,7 +325,9 @@ void ex_input_changed(const char *text)
 
         case '/': forward = true; /* fall through */
         case '?':
+#ifdef FEATURE_SEARCH_HIGHLIGHT
             webkit_web_view_unmark_text_matches(vb.gui.webview);
+#endif
             webkit_web_view_search_text(vb.gui.webview, &text[1], false, forward, false);
             break;
     }
-- 
2.20.1