dedsc
committed
12 years and 9 months ago
complement the repeat_p usability change by setting a default value to edit_all_p when the widget is hidden