~buffer:gui#main#scriptTextView#buffer
~init:(Lazy.force MatitaEngine.initial_status)
~mathviewer:(MatitaMathView.mathViewer ())
+ ~urichooser:(fun uris ->
+ try
+ MatitaGui.interactive_uri_choice ~selection_mode:`SINGLE
+ ~title:"Matita: URI chooser"
+ ~msg:"Select the URI" ~hide_uri_entry:true
+ ~hide_try:true ~ok_label:"_Apply"
+ ~copy_cb:(fun s -> gui#main#scriptTextView#buffer#insert ("\n"^s^"\n"))
+ () ~id:"boh?" uris
+ with MatitaTypes.Cancel -> [])
()
(* math viewers *)
let sequent_viewer = MatitaMathView.sequentViewer_instance () in
let sequents_viewer = MatitaMathView.sequentsViewer_instance () in
sequent_viewer#set_href_callback
- (Some (fun uri -> (MatitaMathView.cicBrowser ())#loadUri uri));
+ (Some (fun uri -> (MatitaMathView.cicBrowser ())#load (`Uri uri)));
let browser_observer _ = MatitaMathView.refresh_all_browsers () in
let sequents_observer status =
sequents_viewer#reset;
(fun _ ->
let nb = gui#main#hintNotebook in
nb#goto_page ((nb#current_page + 1) mod 3));
+ (*
+ addDebugItem "print (on stdout) \"statement\" grammar entry"
+ (fun _ ->
+ Grammar.print_entry Format.std_formatter
+ (Grammar.Entry.obj CicTextualParser2.statement);
+ Format.pp_print_flush Format.std_formatter ());*)
end
(** </DEBUGGING> *)
print_endline "\nThanks for using Matita!\n");
Sys.catch_break true;
(try
- script#loadFrom Sys.argv.(1);
+ gui#loadScript Sys.argv.(1);
with Invalid_argument _ -> ());
if Filename.basename Sys.argv.(0) = "cicbrowser" then begin (* cicbrowser *)
Helm_registry.set "matita.mode" "cicbrowser";
let browser = MatitaMathView.cicBrowser () in
try
- browser#loadUri Sys.argv.(1)
+ browser#load (`Uri Sys.argv.(1))
with Invalid_argument _ -> ()
end else begin (* matita *)
Helm_registry.set "matita.mode" "matita";