Auto-save configuration

If checked, then SPLOT automatically saves the user configuration of the integrated PDF viewer whenever the PDF viewer closes. If unchecked, you can save the configuration manually whenever you want (with the corresponding toolbar button on the PDF viewer main toolbar).