[ toolbar#toolBarEventBox; proof#proofWinEventBox ]
in
let console = MatitaConsole.console ~packing:main#scrolledConsole#add () in
- let _ =
- console#echo_message "message";
- console#echo_error "error";
- console#echo_prompt ()
- in
object (self)
initializer
(* glade's check widgets *)
List.iter (fun w -> w#misc#set_sensitive false)
[ main#saveMenuItem; main#saveAsMenuItem ];
main#helpMenu#set_right_justified true;
- (* uri choice *)
- ()
+ (* console *)
+ console#echo_message "\tMatita version 0.0.1\n";
+ console#echo_prompt ();
+ console#misc#grab_focus ()
- method toolbar = toolbar
- method main = main
method about = about
+ method console = console
method fileSel = fileSel
+ method main = main
method proof = proof
+ method toolbar = toolbar
method newUriDialog () =
let dialog = new uriChoiceDialog ~file () in
ignore (main#quitMenuItem#connect#activate callback);
self#addKeyBinding GdkKeysyms._q callback
+ method setPhraseCallback = console#set_callback
+
end