dedsc
committed
on 02 Aug 06
complement the repeat_p usability change by setting a default value to edit_all_p when the widget is hidden