public void selectionChanged() throws Exception { updateState(); } };
public void selectionChanged() throws Exception { updateState(); } };
/** * The initialise method is called at the start of a * plugin instance life cycle. * This method is called to give the plugin a chance * to intitialise itself. All plugin initialisation * should be done in this method rather than the plugin * constructor, since the initialisation might need to * occur at a point after plugin instance creation, and * a each plugin must have a zero argument constructor. */ final public void initialise() throws Exception { listener = () -> updateState(); getOWLWorkspace().getOWLSelectionModel().addListener(listener); updateState(); }
/** * The initialise method is called at the start of a * plugin instance life cycle. * This method is called to give the plugin a chance * to intitialise itself. All plugin initialisation * should be done in this method rather than the plugin * constructor, since the initialisation might need to * occur at a point after plugin instance creation, and * a each plugin must have a zero argument constructor. */ final public void initialise() throws Exception { listener = () -> updateState(); getOWLWorkspace().getOWLSelectionModel().addListener(listener); updateState(); }
/** * The initialise method is called at the start of a * plugin instance life cycle. * This method is called to give the plugin a chance * to intitialise itself. All plugin initialisation * should be done in this method rather than the plugin * constructor, since the initialisation might need to * occur at a point after plugin instance creation, and * a each plugin must have a zero argument constructor. */ final public void initialise() throws Exception { listener = new OWLSelectionModelListener() { public void selectionChanged() throws Exception { updateState(); } }; getOWLWorkspace().getOWLSelectionModel().addListener(listener); updateState(); }
/** * The initialise method is called at the start of a * plugin instance life cycle. * This method is called to give the plugin a chance * to intitialise itself. All plugin initialisation * should be done in this method rather than the plugin * constructor, since the initialisation might need to * occur at a point after plugin instance creation, and * a each plugin must have a zero argument constructor. */ final public void initialise() throws Exception { listener = new OWLSelectionModelListener() { public void selectionChanged() throws Exception { updateState(); } }; getOWLWorkspace().getOWLSelectionModel().addListener(listener); updateState(); }