method easy_selection: unit -> string list
end
+(** {2 Matita GUI components} *)
+
+class type gui =
+ object
+ method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
+ end
+
+exception No_choice
+
+ (** @raise No_choice *)
+val interactive_user_uri_choice:
+ gui:#gui ->
+ selection_mode:Gtk.Tags.selection_mode -> title:string -> msg:string ->
+ ?nonvars_button:bool ->
+ string list ->
+ string list
+