Front end for the options dialog (#33)