call saveOptions() (which currently just writes "hello, world" into the options file; can't really keep it that way) upon pressing "F1"
saving the first actual setting to the options.ini file
The actual current video resolution is saved (as opposed to the one
chosen in the settings, which is not necessarily the same) upon pressing
"f1"