Ticket #2247: NoRepeats!.patch

src/org/openstreetmap/josm/actions/search/SearchAction.java

@@ -123 +123 @@
      * @param s
      */
     public static void searchWithHistory(SearchSetting s) {
-        searchHistory.addFirst(s);
+        if(searchHistory.isEmpty() || !s.equals(searchHistory.getFirst()))
+            searchHistory.addFirst(s);
         while (searchHistory.size() > SEARCH_HISTORY_SIZE)
             searchHistory.removeLast();
         lastSearch = s;
@@ -202 +203 @@
             return "\"" + text + "\" (" + cs + rx + ", " + mode + ")";
         }
 
+        public boolean equals(Object other) {
+            if(!(other instanceof SearchSetting))
+                return false;
+            SearchSetting o = (SearchSetting) other;
+            return (o.caseSensitive == this.caseSensitive
+                 && o.regexSearch == this.regexSearch
+                 && o.mode.equals(this.mode)
+                 && o.text.equals(this.text));
+        }
     }
 }