let gui_set_slicing_debug (main_ui:Design.main_window_extension_points) v =
let old = SlicingParameters.Verbose.get () in
if v <> old then (* Otherwise set is done at every refreshing *)
gui_apply_action main_ui SlicingParameters.Verbose.set v
~info:(fun () -> get_setting_option_text ("-slicing-debug \"-debug " ^ (string_of_int v) ^ "\""))