1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-16 13:35:22 +02:00

fix for 140560

This commit is contained in:
David McKnight 2006-05-16 19:46:07 +00:00
parent fb1d039fb2
commit 7b9199ede1

View file

@ -617,15 +617,11 @@ public abstract class RemoteCmdSubSystem extends SubSystem implements IRemoteCmd
_defaultShell = null; _defaultShell = null;
} }
_cmdShells.remove(command); _cmdShells.remove(command);
Display.getDefault().asyncExec(new RefreshRemovedShell(this, cmdShell));
} }
ISystemRegistry registry = RSEUIPlugin.getTheSystemRegistry();
// tell remote shell view of removed shell
registry.fireEvent(new SystemResourceChangeEvent(command,
ISystemResourceChangeEvents.EVENT_COMMAND_SHELL_REMOVED, null));
// tell systems view to refresh cmd subsystem
registry.fireEvent(new SystemResourceChangeEvent(this, ISystemResourceChangeEvents.EVENT_REFRESH, this));
} }
// called to restore running shells - behaviour determined by UI // called to restore running shells - behaviour determined by UI
@ -707,6 +703,26 @@ public abstract class RemoteCmdSubSystem extends SubSystem implements IRemoteCmd
} }
} }
public class RefreshRemovedShell implements Runnable
{
private RemoteCmdSubSystem _ss;
private IRemoteCommandShell _cmdShell;
public RefreshRemovedShell(RemoteCmdSubSystem ss, IRemoteCommandShell cmdShell)
{
_ss = ss;
_cmdShell = cmdShell;
}
public void run()
{
ISystemRegistry registry = RSEUIPlugin.getTheSystemRegistry();
registry.fireEvent(new SystemResourceChangeEvent(_cmdShell, ISystemResourceChangeEvents.EVENT_COMMAND_SHELL_REMOVED, null));
registry.fireEvent(new SystemResourceChangeEvent(_ss, ISystemResourceChangeEvents.EVENT_REFRESH, _ss));
}
}
/** /**
* @see ICommunicationsListener#isPassiveCommunicationsListener() * @see ICommunicationsListener#isPassiveCommunicationsListener()
*/ */