Helm_registry.load_from "matita.conf.xml"; (* read conf *)
Http_getter.init ();
MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
- MatitaDb.clean_owner_environment ();
- MatitaDb.create_owner_environment ();
+(* MatitaDb.clean_owner_environment ();
+ MatitaDb.create_owner_environment (); *)
GtkMain.Rc.add_default_file BuildTimeConf.gtkrc_file; (* loads gtk rc *)
ignore (GMain.Main.init ());
gui#resetFontSize ();
MatitaMathView.reset_font_size ();
MatitaMathView.update_font_sizes ()));
+ MatitaMathView.reset_font_size ();
(* disambiguator callback *)
MatitaDisambiguator.set_choose_uris_callback
(MatitaGui.interactive_uri_choice ());
~copy_cb:(fun s -> gui#sourceView#buffer#insert ("\n"^s^"\n"))
() ~id:"boh?" uris
with MatitaTypes.Cancel -> [])
+ ~set_star:gui#setStar
()
(* 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 ())#load (`Uri uri)));
+ (Some (fun uri -> (MatitaMathView.cicBrowser ())#load (`Uri (UriManager.uri_of_string uri))));
let browser_observer _ = MatitaMathView.refresh_all_browsers () in
let sequents_observer status =
sequents_viewer#reset;
let browser = MatitaMathView.cicBrowser () in
let entry =
try
- `Uri Sys.argv.(1)
+ `Uri (UriManager.uri_of_string Sys.argv.(1))
with Invalid_argument _ -> `Dir "cic:/"
in
browser#load entry