Widget options – where to put them?

I have answered this myself by adding an options page and adding options to the database.
The functions are

add_option('yourpluginoption1','value');
add_option('yourpluginoption2','value');

add_action('admin_menu', 'yourplugin_menu_');

function yourplugin_menu_() {
    add_options_page('etc etc...