- List.iter prerr_endline uris
- with No_choice -> error "no choice");
- addDebugItem "toggle auto disambiguation" (fun _ ->
- Helm_registry.set_bool "matita.auto_disambiguation"
- (not (Helm_registry.get_bool "matita.auto_disambiguation")))
-end
+ ignore (item#connect#activate callback)
+ in
+ addDebugItem "interactive user uri choice" (fun _ ->
+ try
+ let uris =
+ interactive_user_uri_choice ~gui ~selection_mode:`MULTIPLE
+ ~msg:"messaggio" ~nonvars_button:true
+ ["cic:/uno.con"; "cic:/due.var"; "cic:/tre.con"; "cic:/quattro.con";
+ "cic:/cinque.var"]
+ in
+ List.iter prerr_endline uris
+ with MatitaGtkMisc.Cancel -> MatitaTypes.error "no choice");
+ addDebugItem "toggle auto disambiguation" (fun _ ->
+ Helm_registry.set_bool "matita.auto_disambiguation"
+ (not (Helm_registry.get_bool "matita.auto_disambiguation")));
+ addDebugItem "mono line text input" (fun _ ->
+ prerr_endline (ask_text ~gui ~title:"title" ~msg:"message" ()));
+ addDebugItem "multi line text input" (fun _ ->
+ prerr_endline
+ (ask_text ~gui ~title:"title" ~multiline:true ~msg:"message" ()));
+ end