System.exit(0)
can be called by scripts. Not allowed by defaultScriptManager manager = new DefaultScriptManager(); manager.setProperty(ScriptManagerProperties.ALLOW_DISPOSE, true); manager.setProperty(ScriptManagerProperties.ALLOW_EXIT, true); manager.addXULScript(<the XUL script file>); manager.install(this); manager.setActive(true);
Copyright 2008-2020 Herve Girod. All Rights Reserved. Documentation and source under the LGPL licence