diff options
| author | Dejan Gloszic | 2005-02-07 23:42:13 +0000 |
|---|---|---|
| committer | Dejan Gloszic | 2005-02-07 23:42:13 +0000 |
| commit | 64d5091bc02b3a15e0dcf37e8e9dba5dba904336 (patch) | |
| tree | 07702f2e70ae0b74429b864cd99203f1acab6a9c /org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/SearchPart.java | |
| parent | 0639f810a5a6d7b0928e3049dc2a031e2c0733c3 (diff) | |
| download | eclipse.platform.ua-64d5091bc02b3a15e0dcf37e8e9dba5dba904336.tar.gz eclipse.platform.ua-64d5091bc02b3a15e0dcf37e8e9dba5dba904336.tar.xz eclipse.platform.ua-64d5091bc02b3a15e0dcf37e8e9dba5dba904336.zip | |
*** empty log message ***
Diffstat (limited to 'org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/SearchPart.java')
| -rw-r--r-- | org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/SearchPart.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/SearchPart.java b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/SearchPart.java index 970b3eaa7..edad18604 100644 --- a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/SearchPart.java +++ b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/SearchPart.java @@ -13,6 +13,7 @@ package org.eclipse.help.ui.internal.views; import java.util.*; import java.util.ArrayList; +import org.eclipse.core.runtime.*; import org.eclipse.core.runtime.Platform; import org.eclipse.core.runtime.jobs.*; import org.eclipse.help.internal.base.BaseHelpSystem; @@ -378,6 +379,7 @@ public class SearchPart extends AbstractFormPart implements IHelpPart, b.setText(desc.getLabel()); Label d = (Label) children[i + 2]; d.setText(desc.getDescription()); + d.getParent().layout(); reflowNeeded = true; break; } @@ -413,6 +415,9 @@ public class SearchPart extends AbstractFormPart implements IHelpPart, public void add(ISearchEngineResult[] searchResults) { results.add(ed, searchResults); } + public void error(IStatus status) { + results.error(ed, status); + } }); entries.add(entry); eds.add(ed); |