@Override
public void setPerspective(Perspective perspective) {
super.setPerspective(perspective);
// sigh, the listener to perspective state should be enough, but not all perspectives
// are changed through the state... sigh... then what's the point!?
ProjectApplication.getActiveInstance().updateTitle();
}
@Override
protected void perform(Transaction transaction, Trigger trigger) {
org.alice.ide.ProjectApplication.getActiveInstance().loadProjectFrom(loader);
}