857858859860861862863864865866867
// ID-caching) DockablePropertySet props = PropertyManager .getDockablePropertySet(dockable); // dispatch a registration event EventManager.dispatch(new RegistrationEvent(dockable, DockingManager.SINGLETON, true)); // return the dockable return dockable; }
902903904905906907908909
synchronized (DOCKABLES_BY_ID) { DOCKABLES_BY_ID.remove(dockable.getPersistentId()); } // dispatch a registration event EventManager.dispatch(new RegistrationEvent(dockable, DockingManager.SINGLETON, false)); }
126127128129130131132
m_perspectives.put(perspective.getPersistentId(), perspective); if(isDefault) setDefaultPerspective(perspective.getPersistentId()); EventManager.dispatch(new RegistrationEvent(perspective, this, true)); }
142143144145146147148
//set defaultPerspective if(m_defaultPerspective.equals(perspectiveId)) setDefaultPerspective(EMPTY_PERSPECTIVE); EventManager.dispatch(new RegistrationEvent(perspective, this, false)); }