method edit_params () =
let param = C.strings
~f: (fun l -> report_params <- l)
~add: (fun () ->
match GToolbox.input_string
Rep_messages.add_parameter
Rep_messages.name
with
None -> []
| Some s -> [s]
)
Rep_messages.parameters
report_params
in
ignore (C.simple_get Rep_messages.edit_params [param])