let keyBindingBoxes = (* event boxes which should receive global key events *)
[ toolbar#toolBarEventBox; proof#proofWinEventBox ]
in
+ let console = MatitaConsole.console ~packing:main#scrolledConsole#add () 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
dialog#check_widgets ();
dialog
- method newTextDialog () =
- let dialog = new textDialog ~file () in
+ method newEmptyDialog () =
+ let dialog = new emptyDialog ~file () in
dialog#check_widgets ();
dialog
ignore (main#quitMenuItem#connect#activate callback);
self#addKeyBinding GdkKeysyms._q callback
+ method setPhraseCallback = console#set_callback
+
end