public void toolTerminated(final ToolSessionUIData sessionData) {
if (fActiveWindow == fWindow) {
handleTerminated(sessionData.getProcess());
}
}
public void toolSessionActivated(final ToolSessionUIData info) {
if (fActiveWindow == fWindow) {
handleActivated(info.getProcess());
}
}