public interface ErrorWindowListener
Modifier and Type | Method and Description |
---|---|
void |
windowClosed(ErrorScriptWindow window)
Fired when the error script window is closed.
|
void windowClosed(ErrorScriptWindow window)
window
- the ErrorScriptWindowCopyright © 2019-2024 Herve Girod. All Rights Reserved. Documentation and source under the BSD licence