Ticket #22908: josm_22908_search_button_arrow_v2.patch
File josm_22908_search_button_arrow_v2.patch, 1.6 KB (added by , 2 years ago) |
---|
-
src/org/openstreetmap/josm/actions/search/SearchAction.java
182 182 } 183 183 184 184 /** 185 * Initializes search history elements to {@link AutoCompComboBoxModel}. 186 */ 187 public static void initHistory() { 188 prefs.load("search.history"); 189 } 190 191 /** 185 192 * Launches the dialog for specifying search criteria and runs a search 186 193 */ 187 194 public static void search() { 188 prefs.load("search.history");195 initHistory(); 189 196 SearchSetting se = showSearchDialog(lastSearch); 190 197 if (se != null) { 191 198 searchWithHistory(se); -
src/org/openstreetmap/josm/gui/dialogs/SelectionListDialog.java
755 755 protected static class SearchPopupMenu extends JPopupMenu { 756 756 public static void launch(Component parent) { 757 757 if (org.openstreetmap.josm.actions.search.SearchAction.getSearchHistory().isEmpty()) 758 return;758 org.openstreetmap.josm.actions.search.SearchAction.initHistory(); 759 759 if (parent.isShowing()) { 760 760 JPopupMenu menu = new SearchPopupMenu(); 761 761 Rectangle r = parent.getBounds();