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 newConfirmationDialog ~title ~msg () =
+ method newConfirmationDialog () =
let dialog = new confirmationDialog ~file () in
- dialog#confirmationDialog#set_title title;
- dialog#confirmationDialogLabel#set_label msg;
+ dialog#check_widgets ();
+ dialog
+
+ 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