let prompt_eval args =
(* FIXME: todo: show the "eval" window *)
match !Ed_gui.active_window with
None -> ()
| Some w ->
let f code =
Cam_commands.launch_command "eval" [| code |]
in
let mb = w#minibuffer in
Ed_misc.input_string
~history: prompt_eval_history
mb ~title: "eval"
""
f