quit

Requests termination of the IDE by firing onQuit; this model does not exit the JVM itself, it is up to an onQuit subscriber (e.g. TuPrologIDEController) to do so.