Class EditorManager

java.lang.Object
jmri.beans.UnboundBean
jmri.beans.Bean
jmri.jmrit.display.EditorManager
All Implemented Interfaces:
PropertyChangeListener, EventListener, BeanInterface, PropertyChangeFirer, PropertyChangeProvider, InstanceManagerAutoDefault

public class EditorManager
extends Bean
implements PropertyChangeListener, InstanceManagerAutoDefault
Manager for JMRI Editors. This manager tracks editors, extending the Set interface to do so (so it can be interacted with as a normal set), while also providing some methods specific to editors.

This manager listens to the title property of Editors to be notified to changes to the title of the Editor that could affect the order of editors.

This manager generates an IndexedPropertyChangeEvent for the property named editors when an editor is added or removed and forwards the PropertyChangeEvent for the title property of Editors in the manager.