Fix for default_value evaluation in widget_editor