[ main#saveMenuItem; main#saveAsMenuItem ];
main#helpMenu#set_right_justified true;
(* console *)
- console#echo_message "message";
- console#echo_error "error";
+ console#echo_message "\tMatita version 0.0.1\n";
console#echo_prompt ();
console#misc#grab_focus ()