diff options
-rw-r--r-- | org.eclipse.search/new search/org/eclipse/search2/internal/ui/InternalSearchUI.java | 16 |
1 files changed, 11 insertions, 5 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 beaa12257..fb4584c22 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 @@ -47,6 +47,16 @@ public class InternalSearchUI { public static final Object FAMILY_SEARCH = new Object(); + // TODO revisit once new Jobs view is finalized + private final class ShowJobResultAction extends Action { + public ShowJobResultAction() { + setToolTipText("Show the Search Results"); + } + public void run() { + activateSearchView(); + } + } + private class SearchJobRecord { public ISearchQuery fQuery; public Job fJob; @@ -157,11 +167,7 @@ public class InternalSearchUI { private void configureJob(Job job) { job.setProperty(new QualifiedName("org.eclipse.ui.workbench.progress", "keep"), Boolean.TRUE); - job.setProperty(new QualifiedName("org.eclipse.ui.workbench.progress", "goto"), new Action() { - public void run() { - activateSearchView(); - } - }); + job.setProperty(new QualifiedName("org.eclipse.ui.workbench.progress", "goto"), new ShowJobResultAction()); try { URL install= SearchPlugin.getDefault().getDescriptor().getInstallURL(); URL icon; |