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"
+ ~hide_try:true ~ok_label:"_Apply" ~ok_action:`SELECT
~copy_cb:(fun s -> gui#main#scriptTextView#buffer#insert ("\n"^s^"\n"))
() ~id:"boh?" uris
with MatitaTypes.Cancel -> [])
if Filename.basename Sys.argv.(0) = "cicbrowser" then begin (* cicbrowser *)
Helm_registry.set "matita.mode" "cicbrowser";
let browser = MatitaMathView.cicBrowser () in
- try
- browser#load (`Uri Sys.argv.(1))
- with Invalid_argument _ -> ()
+ let entry =
+ try
+ `Uri Sys.argv.(1)
+ with Invalid_argument _ -> `Dir "cic:/"
+ in
+ browser#load entry
end else begin (* matita *)
Helm_registry.set "matita.mode" "matita";
gui#main#mainWin#show ();