void startNewSearch(String phrase, ArrayList eds) { //this.phrase = phrase; //separator.setVisible(true); // locate local help engine and add it first EngineDescriptor localHelp = findLocalHelp(eds); if (localHelp!=null) add(localHelp); // add engines other than local help for (int i = 0; i < eds.size(); i++) { EngineDescriptor ed = (EngineDescriptor) eds.get(i); if (ed==localHelp) continue; add(ed); } reflow(); }
void clearResults() { clearResultSections(); separator.setVisible(false); reflow(); }
public void linkActivated(HyperlinkEvent e) { Object href = e.getHref(); String shref = (String) href; if (HREF_PROGRESS.equals(href)) { showProgressView(); } else if (shref.startsWith("bmk:")) { //$NON-NLS-1$ doBookmark(e.getLabel(), shref); } else if (shref.startsWith(CAT_HEADING_PREFIX)) { part.doCategoryLink(shref.substring(CAT_HEADING_PREFIX.length())); } else part.doOpenLink(e.getHref()); }
parent.reflow(); results.clearResults(); results.startNewSearch(text, eds); BaseHelpSystem.getSearchManager().search(text, array);
public synchronized void error(EngineDescriptor ed, IStatus status) { EngineResultSection ers = findEngineResult(ed); ers.error(status); }
public void stop() { SearchResultsPart results = (SearchResultsPart) parent.findPart(IHelpUIConstants.HV_FSEARCH_RESULT); results.canceling(); Job.getJobManager().cancel(FederatedSearchJob.FAMILY); }
public void done(IJobChangeEvent event) { if (event.getJob().belongsTo(FederatedSearchJob.FAMILY)) { Job[] searchJobs = Job.getJobManager().find(FederatedSearchJob.FAMILY); if (searchJobs.length == 0) { // search finished searchInProgress = false; if (container.isDisposed()) return; container.getDisplay().asyncExec(this); SearchResultsPart results = (SearchResultsPart) parent .findPart(IHelpUIConstants.HV_FSEARCH_RESULT); results.completed(); } } }
innerForm.getBody().setLayout(tlayout); results = new ArrayList(); contributeToToolBar(tbm);
part = new DynamicHelpPart(parent, mform.getToolkit()); } else if (id.equals(HV_FSEARCH_RESULT)) { part = new SearchResultsPart(parent, mform.getToolkit(), tbm); } else if (id.equals(HV_SEE_ALSO)) { part = new SeeAlsoPart(parent, mform.getToolkit());
public synchronized void add(EngineDescriptor ed, ISearchEngineResult match) { EngineResultSection ers = findEngineResult(ed); if (match != null) ers.add(match); }
public synchronized void add(EngineDescriptor ed, ISearchEngineResult[] matches) { EngineResultSection ers = findEngineResult(ed); ers.add(matches); }