saveState(e);
}
EventListener[] list = listenerList.getListeners(DomainDisplayListener.class);
for (int i = 0; i < list.length; i++) {
DomainDisplayListener temp = (DomainDisplayListener) list[i];
temp.currentDomainChanged(e);
}
// call different methods depending on whether domain was opened or closed
if (e.getDomain() == null) {
getApplication().getActionManager().projectOpened();