ignore(win#whelpResultTreeview#connect#row_activated
~callback:(fun _ _ -> self#loadInput (self#_getSelectedUri ())));
mathView#set_href_callback (Some (fun uri ->
- handle_error (fun () -> self#load (`Uri uri))));
+ handle_error (fun () -> self#load (`Uri (UriManager.uri_of_string uri)))));
self#_load (`About `Blank);
toplevel#show ()
| `Check term -> self#_loadCheck term
| `Cic (term, metasenv) -> self#_loadTermCic term metasenv
| `Dir dir -> self#_loadDir dir
- | `Uri uri -> self#_loadUriManagerUri (UriManager.uri_of_string uri)
+ | `Uri uri -> self#_loadUriManagerUri uri
| `Whelp (query, results) ->
set_whelp_query query;
- self#_loadList (List.map (fun r -> "obj", r) results));
+ self#_loadList (List.map (fun r -> "obj", UriManager.string_of_uri r) results));
self#setEntry entry
end
with
end else begin
let entry =
match txt with
- | txt when is_uri txt -> `Uri (fix_uri txt)
+ | txt when is_uri txt -> `Uri (UriManager.uri_of_string (fix_uri txt))
| txt when is_dir txt -> `Dir (add_trailing_slash txt)
| txt ->
(try