|
Lines 12-21
Link Here
|
| 12 |
* |
12 |
* |
| 13 |
* Contributors: |
13 |
* Contributors: |
| 14 |
* Martin Oberhuber (Wind River) - [168975] Move RSE Events API to Core |
14 |
* Martin Oberhuber (Wind River) - [168975] Move RSE Events API to Core |
|
|
15 |
* Kevin Doyle (IBM) - [192725] Deleting Files doesn't remove them from Search view |
| 15 |
********************************************************************************/ |
16 |
********************************************************************************/ |
| 16 |
|
17 |
|
| 17 |
package org.eclipse.rse.internal.ui.view.search; |
18 |
package org.eclipse.rse.internal.ui.view.search; |
| 18 |
|
19 |
|
|
|
20 |
import java.util.List; |
| 19 |
import java.util.Vector; |
21 |
import java.util.Vector; |
| 20 |
|
22 |
|
| 21 |
import org.eclipse.rse.core.events.ISystemRemoteChangeEvent; |
23 |
import org.eclipse.rse.core.events.ISystemRemoteChangeEvent; |
|
Lines 82-93
Link Here
|
| 82 |
{ |
84 |
{ |
| 83 |
{ |
85 |
{ |
| 84 |
Object remoteResource = event.getResource(); |
86 |
Object remoteResource = event.getResource(); |
| 85 |
Vector remoteResourceNames = null; |
87 |
List remoteResourceNames = null; |
| 86 |
|
88 |
|
| 87 |
if (remoteResource instanceof Vector) |
89 |
if (remoteResource instanceof List) |
| 88 |
{ |
90 |
{ |
| 89 |
remoteResourceNames = (Vector) remoteResource; |
91 |
remoteResourceNames = (List) remoteResource; |
| 90 |
remoteResource = remoteResourceNames.elementAt(0); |
92 |
remoteResource = remoteResourceNames.get(0); |
| 91 |
} |
93 |
} |
| 92 |
else |
94 |
else |
| 93 |
{ |
95 |
{ |
