mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-04 07:35:24 +02:00
[192725] Kevin's patch for - Deleting Files doesn't remove them from Search view
This commit is contained in:
parent
24c0a6a1eb
commit
738e9d77be
1 changed files with 6 additions and 4 deletions
|
@ -12,10 +12,12 @@
|
|||
*
|
||||
* Contributors:
|
||||
* Martin Oberhuber (Wind River) - [168975] Move RSE Events API to Core
|
||||
* Kevin Doyle (IBM) - [192725] Deleting Files doesn't remove them from Search view
|
||||
********************************************************************************/
|
||||
|
||||
package org.eclipse.rse.internal.ui.view.search;
|
||||
|
||||
import java.util.List;
|
||||
import java.util.Vector;
|
||||
|
||||
import org.eclipse.rse.core.events.ISystemRemoteChangeEvent;
|
||||
|
@ -82,12 +84,12 @@ public class SystemSearchTableView extends SystemTableTreeView
|
|||
{
|
||||
{
|
||||
Object remoteResource = event.getResource();
|
||||
Vector remoteResourceNames = null;
|
||||
List remoteResourceNames = null;
|
||||
|
||||
if (remoteResource instanceof Vector)
|
||||
if (remoteResource instanceof List)
|
||||
{
|
||||
remoteResourceNames = (Vector) remoteResource;
|
||||
remoteResource = remoteResourceNames.elementAt(0);
|
||||
remoteResourceNames = (List) remoteResource;
|
||||
remoteResource = remoteResourceNames.get(0);
|
||||
}
|
||||
else
|
||||
{
|
||||
|
|
Loading…
Add table
Reference in a new issue