mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-09-10 12:03:16 +02:00
Code Issues Wiki Activity

[189423] Kevin's patch for fixing delete event handling

Browse source
This commit is contained in:
David McKnight 2007-07-09 20:39:58 +00:00
parent 57df017e54
commit e61ee3b271
1 changed files with 17 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
rse/plugins/org.eclipse.rse.ui/UI/org/eclipse/rse/internal/ui/view/scratchpad/SystemScratchpadView.java
View file

@ -16,6 +16,7 @@
* Kevin Doyle (IBM) - [192278] Removed handleKeyPressed
* Kevin Doyle (IBM) - [189150] _selectionFlagsUpdated reset after clear action performed
* Kevin Doyle (IBM) - [195537] Use Hashlookup and ElementComparer
* Kevin Doyle (IBM) - [189423] Scratchpad not completely updated after Delete.
********************************************************************************/
package org.eclipse.rse.internal.ui.view.scratchpad;
@ -82,6 +83,7 @@ import org.eclipse.rse.ui.SystemMenuManager;
import org.eclipse.rse.ui.actions.ISystemAction;
import org.eclipse.rse.ui.actions.SystemRefreshAction;
import org.eclipse.rse.ui.internal.model.SystemRegistryUI;
import org.eclipse.rse.ui.internal.model.SystemScratchpad;
import org.eclipse.rse.ui.messages.ISystemMessageLine;
import org.eclipse.rse.ui.messages.SystemMessageDialog;
import org.eclipse.rse.ui.model.ISystemShellProvider;
@ -464,15 +466,21 @@ public class SystemScratchpadView
// --------------------------
case ISystemRemoteChangeEvents.SYSTEM_REMOTE_RESOURCE_DELETED :
{
if (remoteResourceParent != null)
{
internalRefresh(remoteResourceParent);
}
else
{
remove(remoteResource);
}
// check if remoteResource is a root in Scratchpad and if so remove it
SystemScratchpad scratchpad = SystemRegistryUI.getInstance().getSystemScratchPad();
if (scratchpad.contains(remoteResource))
scratchpad.removeChild(remoteResource);
// find all references to the remote resource and remove them
Widget[] widgets = findItems(remoteResource);
for (int i = 0; i < widgets.length; i++)
{
if (widgets[i] instanceof TreeItem)
{
remove(getTreePathFromItem((TreeItem) widgets[i]));
}
}
/*
{
Object dchild = remoteResource;