Enable workbench_predefined_options again.