Ticket #3544: search-fix.patch
File search-fix.patch, 743 bytes (added by , 14 years ago) |
---|
-
src/org/openstreetmap/josm/actions/search/SearchAction.java
163 163 while (searchHistory.size() > Main.pref.getInteger("search.history-size", DEFAULT_SEARCH_HISTORY_SIZE)) { 164 164 searchHistory.removeLast(); 165 165 } 166 lastSearch = s;166 lastSearch = new SearchSetting(s); 167 167 search(s); 168 168 } 169 169 170 170 public static void searchWithoutHistory(SearchSetting s) { 171 lastSearch = s;171 lastSearch = new SearchSetting(s); 172 172 search(s); 173 173 } 174 174