WidgetEvent.CHANGE added. Minor tweaks to Options widget