Ticket #3544: search-fix.patch

File search-fix.patch, 743 bytes (added by bilbo, 17 years ago)

Fix this completely

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

     
    163163        while (searchHistory.size() > Main.pref.getInteger("search.history-size", DEFAULT_SEARCH_HISTORY_SIZE)) {
    164164            searchHistory.removeLast();
    165165        }
    166         lastSearch = s;
     166        lastSearch = new SearchSetting(s);
    167167        search(s);
    168168    }
    169169
    170170    public static void searchWithoutHistory(SearchSetting s) {
    171         lastSearch = s;
     171        lastSearch = new SearchSetting(s);
    172172        search(s);
    173173    }
    174174