This procedure explicitly saves the current options to the options file. This file can be specified in the (Options | Path/Filenames) dialog. The user can specify that the options should be automatically saved when he leaves XF .