X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2Ftest%2Ftest.ml;h=af65d7485db1b7f3ac27a9175a839177689f385a;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=aeb2a60102a6049d5200f7af0e7d1c7af20439d1;hpb=0d9d6be5c3d0800c30af3db0d76101dc54743464;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml
index aeb2a6010..af65d7485 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml
@@ -9,15 +9,6 @@
 (* Callbacks *)
 let jump node =
  let module M = Minidom in
-  print_string ("jump: " ^
-   (match
-     M.node_get_attribute_ns node
-      (M.mDOMString_of_string "xlink")
-      (M.mDOMString_of_string "href")
-    with
-       None   -> "DOES NOT WORKS (if you have clicked on the hyperlink)!!!!!" 
-     | Some s -> M.string_of_mDOMString s
-   ) ^ "\n");
   print_string ("jump: " ^
    (match
      M.node_get_attribute node
@@ -32,11 +23,12 @@ let jump node =
 let selection_changed node =
  let module M = Minidom in
   print_string ("selection_changed: " ^
-   (match
-     M.node_get_name node
-    with
-       None   -> "selection_changed on nothing (???)" 
-     | Some s -> "selection changed on " ^ M.string_of_mDOMString s
+   (match node with
+       None -> "selection_changed on nothing"
+     | Some node ->
+        match M.node_get_name node with
+           None   -> "selection_changed on a node without name" 
+         | Some s -> "selection changed on " ^ M.string_of_mDOMString s
    ) ^ "\n");
   flush stdout
 ;;
@@ -45,9 +37,7 @@ let selection_changed node =
 let clicked node =
  let module M = Minidom in
   print_string ("clicked: " ^
-   (match
-     M.node_get_name node
-    with
+   (match M.node_get_name node with
        None   -> "Nothing clicked (???)" 
      | Some s -> M.string_of_mDOMString s ^ " clicked"
    ) ^ "\n");
@@ -72,29 +62,35 @@ let load mathview () =
  flush stdout
 ;;
 
-exception Ok;;
 let get_selection mathview () =
-(*
  let selection =
   match !mathview#get_selection with
      None -> "NO SELECTION"
-   | Some s -> s
+   | Some node ->
+      match Minidom.node_get_name node with
+        None   -> "selection is on nothing" 
+      | Some s -> "selection is on " ^ Minidom.string_of_mDOMString s
  in
   print_string ("get_selection: " ^ selection ^ "\n") ;
   flush stdout
-*) ()
 ;;
 
 let set_selection mathview () =
-(*
- let selection =
-  match !mathview#get_selection with
-     None -> "NO SELECTION"
-   | Some s -> s
- in
-  print_string ("get_selection: " ^ selection ^ "\n") ;
-  flush stdout
-*) ()
+ 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
 ;;
 
 let unload mathview () =
@@ -225,7 +221,6 @@ let main_window = GWindow.window ~title:"GtkMathView test" () in
 let vbox = GPack.vbox ~packing:main_window#add () in
 let sw = GBin.scrolled_window ~width:50 ~height:50 ~packing:vbox#pack () in
 let mathview= ref (GMathView.math_view ~packing:sw#add ~width:50 ~height:50 ()) in
-(*let hbox = GPack.hbox ~packing:vbox#pack () in*)
 let table = GPack.table ~rows:5 ~columns:5 ~packing:vbox#pack () in
 let button_t1=GButton.button ~label:"activate t1 fonts" ~packing:(table#attach ~left:0 ~top:0) () in
 let button_load = GButton.button ~label:"load" ~packing:(table#attach ~left:1 ~top:0) () in