let set_encoding (view : sourceview) args =
if Array.length args < 1 then
let com = Printf.sprintf "%s_set_encoding" factory_name in
let f s = Cam_commands.launch_command com [| s |] in
Ed_misc.select_string view#minibuffer ~title: com
~choices: Ed_charsets.charsets
"" f
else
view#set_encoding (Some args.(0))