diff options
-rw-r--r-- | org.eclipse.search/new search/org/eclipse/search2/internal/ui/InternalSearchUI.java | 2 | ||||
-rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/ResourceToItemsMapper.java | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/org.eclipse.search/new search/org/eclipse/search2/internal/ui/InternalSearchUI.java b/org.eclipse.search/new search/org/eclipse/search2/internal/ui/InternalSearchUI.java index 99ac2018bee..70a539cb5cb 100644 --- a/org.eclipse.search/new search/org/eclipse/search2/internal/ui/InternalSearchUI.java +++ b/org.eclipse.search/new search/org/eclipse/search2/internal/ui/InternalSearchUI.java @@ -114,7 +114,7 @@ public class InternalSearchUI { private void searchJobFinished(SearchJobRecord record) { record.isRunning= false; - fSearchJobs.remove(record); + fSearchJobs.remove(record.query); getSearchManager().queryFinished(record.query); } diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/ResourceToItemsMapper.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/ResourceToItemsMapper.java index 8e74e8a6e9e..f43f97603ae 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/ResourceToItemsMapper.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/ResourceToItemsMapper.java @@ -37,7 +37,7 @@ class ResourceToItemsMapper { private static final int NUMBER_LIST_REUSE= 10; - // map from IResource to Item | List<Item> + /** map from IResource to {@code Item | List<Item>} **/ private HashMap<IResource, Object> fResourceToItem; private Stack<List<Item>> fReuseLists; @@ -122,6 +122,7 @@ class ResourceToItemsMapper { * @param element element to remove * @param item The item used for the element */ + @SuppressWarnings("unlikely-arg-type") public void removeFromMap(Object element, Item item) { IResource resource= ((ISearchResultViewEntry)element).getResource(); if (resource != null) { |