(*~comments:"comments"*)
~copyright:"Copyright (C) 2005, the HELM team"
~license:(String.concat "\n" (parse_txt_file "LICENSE"))
- ~logo:
- (GdkPixbuf.from_file
- (BuildTimeConf.runtime_base_dir ^ "/logo/matita_medium.png"))
+ ~logo:(GdkPixbuf.from_file (MatitaMisc.image_path "/matita_medium.png"))
~name:"Matita"
~version:BuildTimeConf.version
~website:"http://helm.cs.unibo.it"
let get_devel_selected () =
match model#easy_mselection () with
| [[name;_]] -> MatitamakeLib.development_for_name name
- | _ -> assert false
+ | _ -> None
in
let refresh () =
while Glib.Main.pending () do
(* log *)
MatitaLog.set_log_callback self#console#log_callback;
GtkSignal.user_handler :=
- (fun exn -> MatitaLog.error (MatitaExcPp.to_string exn));
+ (fun exn ->
+ if Helm_registry.get_bool "matita.catch_top_level_exn" then
+ MatitaLog.error (MatitaExcPp.to_string exn)
+ else raise exn);
(* script *)
let _ =
match GSourceView.source_language_from_file BuildTimeConf.lang_file with
let selection = dialog#interpChoiceTreeView#selection in
ignore (selection#connect#changed (fun _ ->
match selection#get_selected_rows with
- | [path] ->
- MatitaLog.debug (sprintf "selection: %d" (model#get_interp_no path));
- interp_no := Some (model#get_interp_no path)
+ | [path] -> interp_no := Some (model#get_interp_no path)
| _ -> assert false));
dialog#interpChoiceDialog#show ();
GtkThread.main ();