Useful script for saving all buffers on focus lost
Add jEdit startup script, which saves all buffers on jEdit focus lost