private void searchPrevious(){
  if (searchResult.size() > 1) {
    Object element=searchResult.get(searchResultIndex--);
    if (searchResultIndex < 0)     searchResultIndex+=searchResult.size();
    Object prevElement=searchResult.get(searchResultIndex);
    labelProvider.setSearchResultElement(prevElement);
    treeViewer.update(element,null);
    treeViewer.update(prevElement,null);
    treeViewer.reveal(prevElement);
    updateStatusLabel();
  }
}

private void searchPrevious ( ) { if ( searchResult . size ( ) > 1 ) { Object element = searchResult . get ( searchResultIndex -- ) ; if ( searchResultIndex < 0 ) searchResultIndex += searchResult . size ( ) ; Object prevElement = searchResult . get ( searchResultIndex ) ; labelProvider . setSearchResultElement ( prevElement ) ; treeViewer . update ( element , null ) ; treeViewer . update ( prevElement , null ) ; treeViewer . reveal ( prevElement ) ; updateStatusLabel ( ) ; } }
reveals the next element in the search result with red highlight .
