From c1ba3bc4ba23f03534b50016ad75ce371205143c Mon Sep 17 00:00:00 2001
From: Andrzej Rybczak <electricityispower@gmail.com>
Date: Thu, 19 Feb 2009 17:01:26 +0100
Subject: [PATCH] apply filter only if the previously applied one was different

---
 src/menu.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/menu.h b/src/menu.h
index 1dd65e9e..235cfcb5 100644
--- a/src/menu.h
+++ b/src/menu.h
@@ -553,6 +553,8 @@ template <class T> size_t Menu<T>::RealChoice() const
 
 template <class T> void Menu<T>::ApplyFilter(const std::string &filter, size_t beginning, bool case_sensitive)
 {
+	if (filter == itsFilter)
+		return;
 	itsFilter = filter;
 	if (!case_sensitive)
 		ToLower(itsFilter);