diff options
| -rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/SearchResultViewer.java | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchResultViewer.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchResultViewer.java index 317f8d656..1b3cfca17 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchResultViewer.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchResultViewer.java @@ -196,11 +196,11 @@ public class SearchResultViewer extends TableViewer { protected void doUpdateItem(Widget item, Object element, boolean fullMap) { super.doUpdateItem(item, element, fullMap); if (((SearchResultViewEntry)element).isPotentialMatch()) { - TableItem ti = (TableItem) item; - ti.setForeground(fPotentialMatchFgColor); + TableItem ti = (TableItem) item; + ti.setForeground(fPotentialMatchFgColor); } - } - + } + private void handleSelectionChanged() { int selectionCount= getSelectedEntriesCount(); boolean hasSingleSelection= selectionCount == 1; @@ -710,4 +710,12 @@ public class SearchResultViewer extends TableViewer { fResourceToItemsMapper.clearMap(); super.unmapAllElements(); } + + protected void internalRefresh(Object element, boolean updateLabels) { + // see bug 44891 + getTable().setRedraw(false); + super.internalRefresh(element, updateLabels); + getTable().setRedraw(true); + } + } |