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))