val output_html : string -> unit
val interactive_user_uri_choice :
- selection_mode:[`SINGLE | `EXTENDED] ->
+ selection_mode:[`SINGLE | `MULTIPLE] ->
?ok:string ->
?enable_button_for_non_vars:bool ->
title:string -> msg:string -> id:string -> string list -> string list
MQueryMisc.wrong_xpointer_format_from_wrong_xpointer_format' uri
) result in
C.output_html "<h1>Locate Query: </h1><pre>";
- MQueryUtil.text_of_query C.output_html query "";
+ MQueryUtil.text_of_query C.output_html "" query;
C.output_html "<h1>Result:</h1>";
- MQueryUtil.text_of_result C.output_html result "<br>";
+ MQueryUtil.text_of_result C.output_html "<br>" result;
let uris' =
match uris with
[] ->
| [uri] -> [uri]
| _ ->
C.interactive_user_uri_choice
- ~selection_mode:`EXTENDED
+ ~selection_mode:`MULTIPLE
~ok:"Try every selection."
~enable_button_for_non_vars:true
~title:"Ambiguous input."