options now saved in settings.ini