+ begin
+ try
+ match !mathview#get_selection with
+ None -> raise Not_found
+ | Some node ->
+ match Minidom.node_get_parent node with
+ None -> raise Not_found
+ | Some node ->
+ !mathview#set_selection (Some node) ;
+ print_string "set_selection: SEEMS TO WORK\n"
+ with
+ Not_found ->
+ print_string "set_selection: YOU MUST PREVIOUSLY SELECT A NON-ROOT NODE"
+ end ;
+ flush stdout