{
if (event.isBusy())
{
fadeInHelper_.beginShow();
commands_.interruptR().setEnabled(true);
events.fireEvent(new ConsoleBusyEvent(true));
}
}
});
/*
JJ says:
It is possible that the client could miss the busy = false event (if the
client goes out of network coverage and then the server suspends before
it can come back into coverage). For this reason I think that the icon's
controller logic should subscribe to the ConsolePromptEvent and clear it
whenenver a prompt occurs.
*/
events.addHandler(ConsolePromptEvent.TYPE, new ConsolePromptHandler()
{
public void onConsolePrompt(ConsolePromptEvent event)
{
fadeInHelper_.hide();
commands_.interruptR().setEnabled(false);
events.fireEvent(new ConsoleBusyEvent(false));
}
});
}