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 ();
- GtkMain.Rc.add_default_file BuildTimeConf.gtkrc; (* loads gtk rc files *)
+(* MatitaDb.clean_owner_environment ();
+ MatitaDb.create_owner_environment (); *)
+ GtkMain.Rc.add_default_file BuildTimeConf.gtkrc_file; (* loads gtk rc *)
ignore (GMain.Main.init ());
(* environment trust *)
let _ =
ignore (gui#main#newCicBrowserMenuItem#connect#activate (fun _ ->
ignore (MatitaMathView.cicBrowser ())));
+ (* font sizes *)
+ ignore (gui#main#increaseFontSizeMenuItem#connect#activate (fun _ ->
+ gui#increaseFontSize ();
+ MatitaMathView.increase_font_size ();
+ MatitaMathView.update_font_sizes ()));
+ ignore (gui#main#decreaseFontSizeMenuItem#connect#activate (fun _ ->
+ gui#decreaseFontSize ();
+ MatitaMathView.decrease_font_size ();
+ MatitaMathView.update_font_sizes ()));
+ ignore (gui#main#normalFontSizeMenuItem#connect#activate (fun _ ->
+ 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 ());
let script =
MatitaScript.script
- ~buffer:gui#main#scriptTextView#buffer
+ ~buffer:gui#sourceView#buffer
~init:(Lazy.force MatitaEngine.initial_status)
~mathviewer:(MatitaMathView.mathViewer ())
~urichooser:(fun uris ->
~title:"Matita: URI chooser"
~msg:"Select the URI" ~hide_uri_entry:true
~hide_try:true ~ok_label:"_Apply" ~ok_action:`SELECT
- ~copy_cb:(fun s -> gui#main#scriptTextView#buffer#insert ("\n"^s^"\n"))
+ ~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