(widget_set_options): new function to set/reset widget options.